共 50 条
- [23] Distributed Fault Detection by Labeled Petri Nets PROCEEDINGS 2012 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS (SMC), 2012, : 1195 - 1200
- [24] Buy/Sell Signal Detection in Stock Trading with Bollinger Bands and Parabolic SAR with Web Application for Proofing Trading Strategy 2017 4TH INTERNATIONAL CONFERENCE ON INFORMATION TECHNOLOGY, COMPUTER, AND ELECTRICAL ENGINEERING (ICITACEE), 2017, : 41 - 44
- [25] Traffic signal priority/preemption control with colored Petri Nets 2005 IEEE Intelligent Transportation Systems Conference (ITSC), 2005, : 694 - 699
- [28] Fault model identification and synthesis in Petri nets DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 2015, 25 (03): : 419 - 440
- [29] TCTL Model Checking of Time Petri Nets JOURNAL OF LOGIC AND COMPUTATION, 2009, 19 (06) : 1509 - 1540
- [30] LTL model checking for modular Petri nets APPLICATIONS AND THEORY OF PETRI NETS 2004, PROCEEDINGS, 2004, 3099 : 298 - 311