共 29 条
[1]
[Anonymous], 1999, EN50126 1
[2]
[Anonymous], 2000, CPN TOOLS HOMEPAGE
[4]
Christensen S., 2001, Applications and Theory of Petri Nets 2001. 22nd International Conference, ICATPN 2001. Proceedings (Lecture Notes in Computer Science Vol.2075), P101
[6]
Dynamic Event-Triggered Distributed Coordination Control and its Applications: A Survey of Trends and Techniques
[J].
IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS,
2020, 50 (09)
:3112-3125
[8]
Jensen K., 2006, CPN TOOLS STATE SPAC
[9]
Jensen K, 2009, COLOURED PETRI NETS: MODELLING AND VALIDATION OF CONCURRENT SYSTEMS, P1, DOI 10.1007/b95112