176
click to vote
SOFSEM
2009
Springer
16 years 4 days ago
2009
Springer
In this paper we define partial order semantics of types of nets. Types of nets are a parametric definition of Petri nets originally developed for a general presentation of the s...