共 50 条
- [11] The Detection and Prevention of Deadlock in Petri Nets 2011 INTERNATIONAL CONFERENCE ON PHYSICS SCIENCE AND TECHNOLOGY (ICPST), 2011, 22 : 656 - 659
- [13] State Estimation for Time Signal Interpreted Petri Nets IFAC PAPERSONLINE, 2024, 58 (01): : 294 - 299
- [14] Fault model identification with Petri nets WODES' 08: PROCEEDINGS OF THE 9TH INTERNATIONAL WORKSHOP ON DISCRETE EVENT SYSTEMS, 2008, : 455 - +
- [16] Petri Nets Model for Service Engineering 2009 IEEE INTERNATIONAL CONFERENCE ON AUTOMATION AND LOGISTICS ( ICAL 2009), VOLS 1-3, 2009, : 632 - 637
- [19] A compositional model of time Petri nets APPLICATION AND THEORY OF PETRI NETS 2000, PROCEEDINGS, 2000, 1825 : 303 - 322
- [20] A CTL* Model Checker for Petri Nets APPLICATION AND THEORY OF PETRI NETS AND CONCURRENCY (PETRI NETS 2020), 2020, 12152 : 403 - 413