共 25 条
[3]
Verification of Timed-Arc Petri Nets
[J].
SOFSEM 2011: THEORY AND PRACTICE OF COMPUTER SCIENCE,
2011, 6543
:46-72
[5]
Based on Synchronized Timed Petri Nets for Urban Traffic Control Systems
[J].
2013 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS (SMC 2013),
2013,
:384-389
[7]
TAPAAL 2.0: Integrated Development Environment for Timed-Arc Petri Nets
[J].
TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, TACAS 2012,
2012, 7214
:492-497
[10]
Multi-Event Modeling and Recognition Using Extended Petri Nets
[J].
IEEE ACCESS,
2020, 8
:37879-37890