Incremental Computation of Synthesis Rules for Free-Choice Petri Nets

2018 ◽  
pp. 97-117
Author(s):  
Prabhakar M. Dixit ◽  
H. M. W. Verbeek ◽  
Wil M. P. van der Aalst
Keyword(s):  
Petri Nets ◽  
Free Choice ◽  
Incremental Computation

scholarly journals Combining free choice and time in Petri nets

2020 ◽  
Vol 110 ◽  
pp. 100426
Author(s):  
S. Akshay ◽  
Loïc Hélouët ◽  
Ramchandra Phawade
Keyword(s):  
Petri Nets ◽  
Free Choice

scholarly journals Reachability in live and safe free-choice Petri nets is NP-complete

1998 ◽  
Vol 198 (1-2) ◽  
pp. 211-224 ◽  
Author(s):  
Javier Esparza
Keyword(s):  
Petri Nets ◽  
Free Choice ◽  
Np Complete

Free-choice Petri nets-an algebraic approach

1996 ◽  
Vol 41 (12) ◽  
pp. 1751-1778 ◽  
Author(s):  
F. Baccelli ◽  
S. Foss ◽  
B. Gaujal
Keyword(s):  
Petri Nets ◽  
Free Choice ◽  
Algebraic Approach

Free-Choice Petri Nets without Frozen Tokens, and Bipolar Synchronization Systems

2010 ◽  
Vol 98 (2-3) ◽  
pp. 283-320
Author(s):  
Joachim Wehler
Keyword(s):  
Petri Nets ◽  
Free Choice

Parallel and distributed simulation of free choice Petri Nets

1995 ◽  
Vol 25 (1) ◽  
pp. 3-10 ◽  
Author(s):  
François Baccelli ◽  
Nathalie Furmento ◽  
Bruno Gaujal
Keyword(s):  
Petri Nets ◽  
Free Choice ◽  
Distributed Simulation ◽  
Parallel And Distributed Simulation
Sign in / Sign up

Export Citation Format

Share Document