High-Level Petri Nets
摘要
This chapter offers a cursory, mostly informal, tour around three of the many existing high-level Petri models, with an emphasis on their place/transition Petri net semantics.