共 50 条
- [31] Weak and strong composition of high-level Petri nets CONCUR'99: CONCURRENCY THEORY, 1999, 1664 : 194 - 209
- [34] Development of an international standard for high-level Petri nets THIRD IEEE INTERNATIONAL SOFTWARE ENGINEERING STANDARDS SYMPOSIUM AND FORUM (ISESS 97) - EMERGING INTERNATIONAL STANDARDS, PROCEEDINGS, 1997, : 155 - 162
- [35] Generalised composition operations for high-level Petri nets Fundamenta Informaticae, 1999, 40 (2-3): : 125 - 163
- [38] Formal verification method of simulation scenario based on high-level Petri nets Kongzhi yu Juece Control Decis, 2006, 11 (1208-1213):
- [39] Formal aspects for semantic service modeling based on high-level Petri nets INTERNATIONAL CONFERENCE ON COMPUTATIONAL INTELLIGENCE FOR MODELLING, CONTROL & AUTOMATION JOINTLY WITH INTERNATIONAL CONFERENCE ON INTELLIGENT AGENTS, WEB TECHNOLOGIES & INTERNET COMMERCE, VOL 1, PROCEEDINGS, 2006, : 107 - +