129
click to vote
SOFSEM
2009
Springer
15 years 10 months 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...