4.6 Article

Colored Petri Nets: A Graphical Language for Formal Modeling and Validation of Concurrent Systems

相关参考文献

注意:仅列出部分参考文献,下载原文获取全部文献信息。
Article Computer Science, Software Engineering

Object Petri nets - Using the nets-within-nets paradigm

R Valk

LECTURES ON CONCURRENCY AND PETRI NETS: ADVANCES IN PETRI NETS (2004)