共 50 条
- [41] Automatic handling of conflicts in synchronous Interpreted Time Petri nets implementation 2014 IEEE COMPUTER SOCIETY ANNUAL SYMPOSIUM ON VLSI (ISVLSI), 2014, : 100 - 105
- [42] Automatic generation of fuzzy Petri nets Yi Qi Yi Biao Xue Bao/Chinese Journal of Scientific Instrument, 2009, 30 (07): : 1560 - 1564
- [45] Combining hybrid Petri nets and hybrid automata IEEE TRANSACTIONS ON ROBOTICS AND AUTOMATION, 2001, 17 (05): : 670 - 678
- [46] Time processes for time Petri nets APPLICATION AND THEORY OF PETRI NETS 1997, 1997, 1248 : 136 - 155
- [49] Supervisory control of time Petri nets using net unfolding Proceedings of the 29th Annual International Computer Software and Applications Conference, Workshops and Fast Abstracts, 2005, : 97 - 100
- [50] Parameter Synthesis for Bounded Cost Reachability in Time Petri Nets APPLICATION AND THEORY OF PETRI NETS AND CONCURRENCY, PETRI NETS 2019, 2019, 11522 : 406 - 425