Author:
Ye Qiang,MacGregor Mike H.
Subject
Computer Science Applications,Modelling and Simulation
Reference24 articles.
1. Kommunikation mit Automaten (Communication with Automata), 1962.
2. Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use (Volume 1: Basic Concepts);Jensen,1997
3. Petri nets: properties, analysis and applications;Murata;Proceedings of the IEEE,1989
4. P. Azema, R. Valette, et al., Petri nets as a common tool for design verification and hardware simulation, in: Proceedings of the 13th Design Automation Conference, DAC’76, June 1976.
5. E. Oliveira, H. Almeida, et al., Formal modelling and verification of a component model using coloured petri nets and model checking, in: 2007 ACM Symposium on Applied Computing, SAC’07, Seoul, Korea, 11–15 March, 2007.