An introduction to the theoretical aspects of Coloured Petri Nets 论文

1994Lecture notes in computer science引用 241
Petri Nets in System ModelingFormal Methods in VerificationBusiness Process Modeling and Analysis