共 50 条
- [32] On-the-fly Diagnosability Analysis of Labeled Petri Nets Using T-invariants IFAC PAPERSONLINE, 2015, 48 (07): : 64 - 70
- [37] Verification of Use Case with Petri Nets in Requirement Analysis COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2009, PT II, 2009, 5593 : 29 - 42
- [39] The use of Petri nets for the evaluation of information security systems BULLETIN OF THE KARAGANDA UNIVERSITY-MATHEMATICS, 2016, 83 (03): : 70 - 75
- [40] POSSIBILITIES OF THE USE OF PETRI NETS IN ECONOMIC-ANALYSIS EKONOMICKO-MATEMATICKY OBZOR, 1986, 22 (03): : 299 - 310