Free Choice Petri Nets

MONOGRAPH published 12 January 1995

Authors: Jorg Desel | Javier Esparza

Synthesis of (Choice-Free) Reset Nets

BOOK CHAPTER published 2021 in Application and Theory of Petri Nets and Concurrency

Authors: Raymond Devillers

Some subclasses of Petri nets and the analysis of their structural properties: a new approach

JOURNAL ARTICLE published March 1999 in IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans

Authors: C. Amer-Yahia | N. Zerhouni | A.E. Moudni | M. Ferney

Free-Choice Nets

BOOK CHAPTER published 2013 in Understanding Petri Nets

Authors: Wolfgang Reisig

State variable description and controllability of a class of continuous Petri nets

PROCEEDINGS ARTICLE published in 1996 IEEE International Symposium on Circuits and Systems. Circuits and Systems Connecting the World. ISCAS 96

Authors: C. Amer-Yahia | N. Zerhouni | A. El-Moudni | A. Ferney

State equation and stability of a class of continuous Petri nets. Application to manufacturing lines

PROCEEDINGS ARTICLE published in Proceedings 1995 INRIA/IEEE Symposium on Emerging Technologies and Factory Automation. ETFA'95

Authors: C. Amer-Yahia | N. Zerhouni | A. El-Moudni | M. Ferney

Reasoning about Algebraic Generalisation of Petri Nets

BOOK CHAPTER published 1999 in Lecture Notes in Computer Science

Authors: Gabriel Juhás

Synthesis of embedded software using free-choice Petri nets

PROCEEDINGS ARTICLE published in Proceedings 1999 Design Automation Conference (Cat. No. 99CH36361)

Authors: M. Sgroi | L. Lavagno | Y. Watanabe | A. Sangiovanni-Vincentelli

Theoretical Aspects of Recursive Petri Nets

BOOK CHAPTER published 1999 in Lecture Notes in Computer Science

Authors: Serge Haddad | Denis Poitrenaud

Synthesis of embedded software using free-choice Petri nets

PROCEEDINGS ARTICLE published June 1999 in Proceedings of the 36th annual ACM/IEEE Design Automation Conference

Authors: Marco Sgroi | Luciano Lavagno | Yosinori Watanabe | Alberto Sangiovanni-Vincentelli

A New Property of Choice-Free Petri Net Systems

BOOK CHAPTER published 2020 in Application and Theory of Petri Nets and Concurrency

Authors: Eike Best | Raymond Devillers | Evgeny Erofeev

A proof of the Rank Theorem for extended free choice nets

BOOK CHAPTER published 1992 in Application and Theory of Petri Nets 1992

Authors: Jörg Desel

Finding a Witness Path for Non-liveness in Free-Choice Nets

BOOK CHAPTER published 2011 in Applications and Theory of Petri Nets

Authors: Harro Wimmel | Karsten Wolf

Distributed Diagnosis of Discrete-Event Systems Using Petri Nets

BOOK CHAPTER published 2003 in Applications and Theory of Petri Nets 2003

Authors: Sahika Genc | Stéphane Lafortune

An Application of Independent, Increasing, Free-Choice Petri Nets to the Synthesis of Policies that Enforce Liveness in Arbitrary Petri Nets

JOURNAL ARTICLE published December 1998 in Automatica

Authors: RAMAVARAPU S. SREENIVAS

On Partially Controlled Free Choice Petri Nets

BOOK CHAPTER published 2000 in Discrete Event Systems

Authors: Ramavarapu S. Sreenivas

Trace Channel Nets

BOOK CHAPTER published 1999 in Lecture Notes in Computer Science

Authors: Jean Fanchon

Reduction Using Induced Subnets to Systematically Prove Properties for Free-Choice Nets

BOOK CHAPTER published 2021 in Application and Theory of Petri Nets and Concurrency

Authors: Wil M. P. van der Aalst

Five Classes of Invariant-Preserving Transformations on Colored Petri Nets

BOOK CHAPTER published 1999 in Lecture Notes in Computer Science

Authors: To-Yat Cheung | Yiqin Lu

Top-down synthesis of live and bounded free choice nets

BOOK CHAPTER published in Advances in Petri Nets 1991

Authors: Javier Esparza | Manuel Silva