An efficient algorithm for unfolding petri nets

Model checking based on prefixes of petri net unfoldings

Khomenko, Victor

January 2003

Available from British Library Document Supply Centre- DSC:DXN061636 / BLDSC - British Library Docum...

Petri nets approach for the analysis of MASCOT interprocess communications

Jiffry, M.A.

January 2000

SIGLEAvailable from British Library Document Supply Centre-DSC:DXN037833 / BLDSC - British Library D...

Rewriting logic and Elan Prototyping tools for Petri nets with time

Steggles, L.
Newcastle upon Tyne Univ. (United Kingdom). Computing Science

January 2001

SIGLEAvailable from British Library Document Supply Centre-DSC:8724.920(no CS-TR-716) / BLDSC - Brit...

Parallelisation of the petri net unfolding algorithm

Heljanko, K.
Khomenko, V.
Koutny, M.
Newcastle upon Tyne Univ. (United Kingdom). Computing Science

January 2001

Also available via the InternetAvailable from British Library Document Supply Centre-DSC:8724.920(no...

Parallelisation of the Petri Net Unfolding Algorithm

Keijo Heljanko
Victor Khomenko
Maciej Koutny

January 2001

Abstract. In this paper, we first present theoretical results, helping to understand the unfolding a...

Parallelisation of the Petri Net Unfolding Algorithm

Keijo Heljanko
Victor Khomenko
Maciej Koutny

January 2001

In this paper, we first present theoretical results, helping to understand the unfolding algorithm ...

Recent advances in unfolding technique

Bonet, Blai
Haslum, Patrik
Khomenko, Victor
Thiébaux, Sylvie
Vogler, Walter

July 2014

We propose a new, and to date the most general, framework for Petri net unfolding, which broadens it...

Recent advances in unfolding technique

Bonet, Blai
Haslum, Patrik
Khomenko, Victor
Thiebaux, Sylvie
Vogler, Walter

February 2016

We propose a new, and to date the most general, framework for Petri net unfolding, which broadens it...

On the reachability problem for some classes of Petri nets

Stewart, I
Newcastle upon Tyne Univ. (United Kingdom). Computing Lab

January 1991

SIGLEAvailable from British Library Document Supply Centre- DSC:8724.9(UNUT-CL-TRS--357) / BLDSC - B...

Analysis of asynchronous iterative algorithms using timed Petri nets

Santini, M.

January 1996

SIGLEAvailable from British Library Document Supply Centre-DSC:DXN012046 / BLDSC - British Library D...

Petri nets for fault diagnosis and distribution automation

NG, H.S.

January 1999

Available from British Library Document Supply Centre-DSC:DXN045498 / BLDSC - British Library Docume...

Algorithms

Randall, B.
International Computers Ltd., Reading (United Kingdom)
Newcastle upon Tyne Univ. (United Kingdom). Dept. of Computing Science

January 1996

SIGLEAvailable from British Library Document Supply Centre-DSC:q97/00120 / BLDSC - British Library D...

M.: An efficient method for unfolding colored Petri nets

Fei Liu
Monika Heiner
Ming Yang

December 2014

Unfolding is an essential problem in reusing existing Petri net simulation and analysis techniques a...

Extensions to coloured Petri nets and their application to protocols

Billington, J

January 1990

SIGLEAvailable from British Library Document Supply Centre- DSC:D61323 / BLDSC - British Library Doc...

Combinatorial algorithms

Wright, C.D

January 1990

SIGLEAvailable from British Library Document Supply Centre- DSC:D061393 / BLDSC - British Library Do...

Model checking based on prefixes of petri net unfoldings

Khomenko, Victor

January 2003

Available from British Library Document Supply Centre- DSC:DXN061636 / BLDSC - British Library Docum...

Petri nets approach for the analysis of MASCOT interprocess communications

Jiffry, M.A.

January 2000

SIGLEAvailable from British Library Document Supply Centre-DSC:DXN037833 / BLDSC - British Library D...

Rewriting logic and Elan Prototyping tools for Petri nets with time

Steggles, L.
Newcastle upon Tyne Univ. (United Kingdom). Computing Science

January 2001

SIGLEAvailable from British Library Document Supply Centre-DSC:8724.920(no CS-TR-716) / BLDSC - Brit...

Parallelisation of the petri net unfolding algorithm

Heljanko, K.
Khomenko, V.
Koutny, M.
Newcastle upon Tyne Univ. (United Kingdom). Computing Science

January 2001

Also available via the InternetAvailable from British Library Document Supply Centre-DSC:8724.920(no...

Parallelisation of the Petri Net Unfolding Algorithm

Keijo Heljanko
Victor Khomenko
Maciej Koutny

January 2001

Abstract. In this paper, we first present theoretical results, helping to understand the unfolding a...

Parallelisation of the Petri Net Unfolding Algorithm

Keijo Heljanko
Victor Khomenko
Maciej Koutny

January 2001

In this paper, we first present theoretical results, helping to understand the unfolding algorithm ...

Recent advances in unfolding technique

Bonet, Blai
Haslum, Patrik
Khomenko, Victor
Thiébaux, Sylvie
Vogler, Walter

July 2014

We propose a new, and to date the most general, framework for Petri net unfolding, which broadens it...

Recent advances in unfolding technique

Bonet, Blai
Haslum, Patrik
Khomenko, Victor
Thiebaux, Sylvie
Vogler, Walter

February 2016

We propose a new, and to date the most general, framework for Petri net unfolding, which broadens it...

On the reachability problem for some classes of Petri nets

Stewart, I
Newcastle upon Tyne Univ. (United Kingdom). Computing Lab

January 1991

SIGLEAvailable from British Library Document Supply Centre- DSC:8724.9(UNUT-CL-TRS--357) / BLDSC - B...

Analysis of asynchronous iterative algorithms using timed Petri nets

Santini, M.

January 1996

SIGLEAvailable from British Library Document Supply Centre-DSC:DXN012046 / BLDSC - British Library D...

Petri nets for fault diagnosis and distribution automation

NG, H.S.

January 1999

Available from British Library Document Supply Centre-DSC:DXN045498 / BLDSC - British Library Docume...

Algorithms

Randall, B.
International Computers Ltd., Reading (United Kingdom)
Newcastle upon Tyne Univ. (United Kingdom). Dept. of Computing Science

January 1996

SIGLEAvailable from British Library Document Supply Centre-DSC:q97/00120 / BLDSC - British Library D...

M.: An efficient method for unfolding colored Petri nets

Fei Liu
Monika Heiner
Ming Yang

December 2014

Unfolding is an essential problem in reusing existing Petri net simulation and analysis techniques a...

Extensions to coloured Petri nets and their application to protocols

Billington, J

January 1990

SIGLEAvailable from British Library Document Supply Centre- DSC:D61323 / BLDSC - British Library Doc...

Combinatorial algorithms

Wright, C.D

January 1990

SIGLEAvailable from British Library Document Supply Centre- DSC:D061393 / BLDSC - British Library Do...

Model checking based on prefixes of petri net unfoldings

Khomenko, Victor

January 2003

Available from British Library Document Supply Centre- DSC:DXN061636 / BLDSC - British Library Docum...

Petri nets approach for the analysis of MASCOT interprocess communications

Jiffry, M.A.

January 2000

SIGLEAvailable from British Library Document Supply Centre-DSC:DXN037833 / BLDSC - British Library D...

Rewriting logic and Elan Prototyping tools for Petri nets with time

Steggles, L.
Newcastle upon Tyne Univ. (United Kingdom). Computing Science

January 2001

SIGLEAvailable from British Library Document Supply Centre-DSC:8724.920(no CS-TR-716) / BLDSC - Brit...

An efficient algorithm for unfolding petri nets

Abstract

Extracted data

An efficient algorithm for unfolding petri nets

Abstract

Extracted data

Related items

Related items