An automated tool for analyzing petri nets using spin

Proceedings - 16th Annual International Conference on Automated Software Engineering, ASE 2001

Volumn , Issue , 2001, Pages 404-407

  Gannod, Gerald C ^a   Gupta, Sunil ^a  

^a Arizona State University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AEROSPACE INDUSTRY; DOMES; MODEL CHECKING; SPECIFICATION LANGUAGES; SPECIFICATIONS;

AUTOMATED TOOLS; DOMAIN MODEL; HONEYWELL; MATHEMATICAL TOOLS; MODEL CHECKER; MODELING ENVIRONMENTS; MODELLING AND ANALYSIS; PROMELA; SIMPLE++; SPIN MODELS;

PETRI NETS;

EID: 85029776668     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ASE.2001.989839     Document Type: Conference Paper

References (6)

1. Dome Guide version 5.2.2, Honeywell Corp., 1999.
2. G. Holzmann, "The Model Checker Spin," IEEE Transactions on Software Engineering, (23)5, May 1997.
3. C.A. Petri, "Fundamentals of a theory of asynchronous information flow", In Proc. of the IFIP Congress 62, pp. 386-390, 1963.
4. T. Murata, "Petri Nets: Properties, Analysis and Applications," Proc. of the IEEE, (77)4, pp. 541-580, April 1989.
5. Design/CPN Ref. Manual, Meta Soft Corporation, 1992.
6. B. Grahlmann and C. Pohl, "Profiting from Spin in PEP", Proceedings of the SPIN'98 Workshop, Nov. 1998.