Author:
Lewis Glenn,Lakos Charles
Publisher
Springer Berlin Heidelberg
Reference12 articles.
1. S. Christensen and L. Petrucci. Modular Analysis of Petri Nets. The Computer Journal, 43(3):224–242, 2000.
2. S. Gordon and J. Billington. Analysing a Missile Simulator using Coloured Petri Nets. International Journal on Software Tools for Technology Transfer, 2(2):144–159, December 1998.
3. K. Jensen. Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use: Volume 1, Analysis Methods. Monographs in Theoretical Computer Science. Springer-Verlag, 1992.
4. K. Jensen. Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use: Volume 2, Analysis Methods. Monographs in Theoretical Computer Science. Springer-Verlag, 1995.
5. Lect Notes Comput Sci;C.A. Lakos,2000
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献