共 39 条
[1]
Abdulla P, 2004, LECT NOTES COMPUT SC, V3328, P58
[2]
[Anonymous], 2008, 100 INT ORG STAND JO
[3]
[Anonymous], 2007, J SOFTW TOOLS TECHNO
[4]
[Anonymous], 2013, Petri Nets for Systems Engineering: A Guide to Modeling, Verification, and Applications
[5]
[Anonymous], 3685 ISO
[6]
[Anonymous], ATP INT
[7]
[Anonymous], 1987, Coloured Petri nets. Petri nets: Central Model and Their Properties, DOI [10.1007/BFb0046842, DOI 10.1007/BFB0046842]
[8]
[Anonymous], P STRUCT HLTH MON 20
[10]
Baheti R., 2011, IMPACT CONTROL TECHN, V12, P161, DOI DOI 10.1145/1795194.1795205