Verification and analysis of properties of dynamic systems based on Petri nets

Proceedings - International Conference on Parallel Computing in Electrical Engineering, PARELEC 2002

Volumn , Issue , 2002, Pages 92-94

  Lamch, D ^a  

^a CZESTOCHOWA UNIVERSITY OF TECHNOLOGY   (Poland)

Author keywords

Computer science; Costs; Equations; Mathematical model; Petri nets; Protocols; Signal processing; Software tools; System testing; Vectors

Indexed keywords

COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER SCIENCE; COMPUTER SOFTWARE; COSTS; MATHEMATICAL MODELS; NETWORK PROTOCOLS; SIGNAL PROCESSING; SOFTWARE TESTING; VECTORS;

DYNAMIC FEATURES; EQUATIONS; SYSTEM TESTING; TECHNICAL UNIVERSITIES; VERIFICATION AND ANALYSIS;

PETRI NETS;

EID: 67249108515     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/PCEE.2002.1115209     Document Type: Conference Paper

References (3)

1. ITU-T. Recommendation Z.120, Message Sequence Chart. Geneva, November 1999.
2. S. Krivoi. Criteria of satisfiability for homogenous systems of linear diophantine, constrains. Lecture Notes in Computer Science, 2001.
3. T. Murata. Petri nets: Properties, analysis and application. Proceedings of The IEEE, 77(4):541-580, April 1989.