Skip header Section
Skip Bibliometrics Section
Free Choice Petri Nets (Cambridge Tracts in Theoretical Computer Science)June 2005
- Authors:
- Jorg Desel,
- Javier Esparza
Abstract
No abstract available.
Cited By
- Chrzastowski-Wachtel P, Benatallah B, Hamadi R, O'Dell M and Susanto A A top-down Petri net-based approach for dynamic workflow modeling Proceedings of the 2003 international conference on Business process management, (336-353)
- Kishinevsky M, Cortadella J and Kondratyev A Asynchronous interface specification, analysis and synthesis Proceedings of the 35th annual Design Automation Conference, (2-7)
Please enable JavaScript to view thecomments powered by Disqus.
Recommendations
Free-Choice Petri Nets without Frozen Tokens, and Bipolar Synchronization Systems
Bipolar synchronization systems (BP-systems) constitute a class of coloured Petri nets, well suited for modelling the control flow of discrete dynamical systems. Every BP-system has an underlying ordinary Petri net, a T-system. It further has a second ...
Non Equivalence between Time Petri Nets and Time Stream Petri Nets
PNPM '99: Proceedings of the The 8th International Workshop on Petri Nets and Performance ModelsIt had been shown that Merlin's Time Petri Nets are a special case of Time Stream Petri Nets. In this paper, we show that it does not exist a time equivalence between both models. We extend first this result to the nonequivalence of Timed Automata and ...