Combining free choice and time in Petri nets

Journal of Logical and Algebraic Methods in Programming ◽

10.1016/j.jlamp.2018.11.006 ◽

2020 ◽

Vol 110 ◽

pp. 100426

Author(s):

S. Akshay ◽

Loïc Hélouët ◽

Ramchandra Phawade

Keyword(s):

Download Full-text

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

Theoretical Computer Science ◽

10.1016/s0304-3975(97)00235-1 ◽

1998 ◽

Vol 198 (1-2) ◽

pp. 211-224 ◽

Author(s):

Javier Esparza

Keyword(s):

Free Choice ◽

Download Full-text

Free-choice Petri nets-an algebraic approach

IEEE Transactions on Automatic Control ◽

10.1109/9.545714 ◽

1996 ◽

Vol 41 (12) ◽

pp. 1751-1778 ◽

Author(s):

F. Baccelli ◽

S. Foss ◽

B. Gaujal

Keyword(s):

Free Choice ◽

Algebraic Approach

Download Full-text

On the Existence of Supervisory Policies That Enforce Liveness in Partially Controlled Free-Choice Petri Nets

IEEE Transactions on Automatic Control ◽

10.1109/tac.2011.2159883 ◽

2012 ◽

Vol 57 (2) ◽

pp. 435-449 ◽

Author(s):

R. S. Sreenivas

Keyword(s):

Download Full-text

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

Fundamenta Informaticae ◽

10.3233/fi-2010-228 ◽

2010 ◽

Vol 98 (2-3) ◽

pp. 283-320

Author(s):

Joachim Wehler

Keyword(s):

Download Full-text

On a minimally restrictive supervisory policy that enforces liveness in partially controlled free choice Petri nets

Proceedings of the 39th IEEE Conference on Decision and Control (Cat. No.00CH37187) ◽

10.1109/cdc.2000.914205 ◽

2002 ◽

Author(s):

R.S. Sreenivas

Keyword(s):

Download Full-text

Parallel and distributed simulation of free choice Petri Nets

ACM SIGSIM Simulation Digest ◽

10.1145/214283.214288 ◽

1995 ◽

Vol 25 (1) ◽

pp. 3-10 ◽

Author(s):

François Baccelli ◽

Nathalie Furmento ◽

Bruno Gaujal

Keyword(s):

Free Choice ◽

Distributed Simulation ◽

Parallel And Distributed Simulation

Download Full-text

On commoner's liveness theorem and supervisory policies that enforce liveness in free-choice Petri nets

Systems & Control Letters ◽

10.1016/s0167-6911(97)00019-4 ◽

1997 ◽

Vol 31 (1) ◽

pp. 41-48 ◽

Author(s):

Ramavarapu S. Sreenivas

Keyword(s):

Download Full-text

Compositional synthesis of live and bounded free choice Petri nets

Lecture Notes in Computer Science - CONCUR '91 ◽

10.1007/3-540-54430-5_88 ◽

1991 ◽

pp. 172-187 ◽

Author(s):

Javier Esparza ◽

Manuel Silva

Keyword(s):

Free Choice ◽

Compositional Synthesis

Download Full-text

Parallel and distributed simulation of free choice Petri nets

Proceedings 9th Workshop on Parallel and Distributed Simulation (ACM/IEEE) ◽

10.1109/pads.1995.404322 ◽

2002 ◽

Author(s):

F. Baccelli ◽

N. Furmento ◽

B. Gaujal

Keyword(s):

Free Choice ◽

Distributed Simulation ◽

Parallel And Distributed Simulation

Download Full-text

On the automatic generation of the minimally restrictive liveness enforcing supervisory policy for manufacturing- and service-systems modeled by a class of general Free Choice Petri nets

2013 10th IEEE INTERNATIONAL CONFERENCE ON NETWORKING, SENSING AND CONTROL (ICNSC) ◽

10.1109/icnsc.2013.6548770 ◽

2013 ◽

Author(s):

S. Chandrasekaran ◽

R. S. Sreenivas

Keyword(s):

Free Choice ◽

Automatic Generation ◽

Service Systems

Download Full-text