Advances in Petri Nets
Lecture Notes in Computer Science > Concurrent Object-Oriented Programming and Petri Nets > Section II > 355-374