共 50 条
- [1] TCTL Model Checking of Time Petri Nets [J]. JOURNAL OF LOGIC AND COMPUTATION, 2009, 19 (06) : 1509 - 1540
- [2] CTL* model checking for time Petri nets [J]. THEORETICAL COMPUTER SCIENCE, 2006, 353 (1-3) : 208 - 227
- [4] Bounded model checking of Time Petri Nets using SAT solver [J]. IEICE ELECTRONICS EXPRESS, 2015, 12 (02):
- [5] Towards TCTLhΔ model checking of Time Petri Nets [J]. 2016 INTERNATIONAL CONFERENCE ON CONTROL, DECISION AND INFORMATION TECHNOLOGIES (CODIT), 2016, : 563 - 568
- [6] Model checking Bounded Prioritized Time Petri Nets [J]. AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, PROCEEDINGS, 2007, 4762 : 523 - +
- [7] Model checking of time Petri nets using the state class timed automaton [J]. DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 2006, 16 (02): : 179 - 205
- [8] Model Checking of Time Petri Nets Using the State Class Timed Automaton [J]. Discrete Event Dynamic Systems, 2006, 16 : 179 - 205
- [9] On-the-fly TCTL model checking for time Petri nets [J]. THEORETICAL COMPUTER SCIENCE, 2009, 410 (42) : 4241 - 4261
- [10] Interpolation Based Unbounded Model Checking for Time Petri Nets [J]. 2018 IEEE 7TH GLOBAL CONFERENCE ON CONSUMER ELECTRONICS (GCCE 2018), 2018, : 619 - 623