An efficient algorithm for the computation of stubborn sets of well formed Petri Nets-Reference-Cited by-同舟云学术

An efficient algorithm for the computation of stubborn sets of well formed Petri Nets

Published:1995 Issue: Volume: Page:121-140
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Brgan Robert,Poitrenaud Denis

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-60029-9_37

Reference14 articles.

1. J.M. Bernard, J.L. Mounier, N. Beldiceanu, S. Haddad: «AMI: An Extensible Petri Nets Interactive Workshop», Proceeding of the 9th European Workshop on Application and Theory of Petri Nets, Venice, Italy, June 1988, pp. 101–117.

2. G. Chiola, C. Dutheillet, G. Franceschinis, S. Haddad: «On Well Formed Colored Petri Nets and their Symbolic Reachability Graph», In: «High Level Petri Nets. Theory and Application», K.Jensen & G. Rozenberg (eds.), Springer-Verlag, 1991, pp.373–396.

3. G. Chiola, G. Franceschinis, R. Gaeta: «A Symbolic Simulation Mechanism for Well Formed Colored Petri Nets», Proceeding of the 25th Simulation Symposium, Orlando, Florida, 1992.

4. C. Dutheillet: «Symétries dans les réseaux colorés. définition, analyse et application à l'évaluation de performances», Thèse de Doctorat, Université P. et M.Curie, Mars 1992.

5. C. Dutheillet, S. Haddad: «Conflict Sets in Colored Petri Nets», Proceedings of the 5th International Workshop on Petri Nets and Performance Models, IEEE-CS Press, Toulouse, France, October 1993, pp. 76–85.

Cited by 6 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A Discretization Method from Coloured to Symmetric Nets: Application to an Industrial Example;Transactions on Petri Nets and Other Models of Concurrency III;2009

2. On the Computation of Stubborn Sets of Colored Petri Nets;Petri Nets and Other Models of Concurrency - ICATPN 2006;2006

3. A High Level Language for Structural Relations in Well-Formed Nets;Applications and Theory of Petri Nets 2005;2005

4. Efficient performance analysis techniques for stochastic well-formed nets and stochastic process algebras;Lecture Notes in Computer Science;1998

5. Principles of high-level net theory;Lectures on Petri Nets I: Basic Models;1998