236 search results - page 1 / 48 » On the Algebraic Structure of Petri Nets |
ICALP
2005
Springer
13 years 11 months ago
2005
Springer
The firing rule of Petri nets relies on a residuation operation for the commutative monoid of natural numbers. We identify a class of residuated commutative monoids, called Petri ...
FUIN
2007
13 years 5 months ago
2007
The firing rule of Petri nets relies on a residuation operation for the commutative monoid of natural numbers. We identify a class of residuated commutative monoids, called Petri ...
FUIN
2008
13 years 5 months ago
2008
In this paper, we show how to obtain causal semantics distinguishing "earlier than" and "not later than" causality between events from algebraic semantics of Pe...
EATCS
2000
13 years 5 months ago
2000
ACSD
2006
IEEE
13 years 11 months ago
2006
IEEE
In this paper, we show how to obtain causal semantics distinguishing ”earlier than” and ”not later than” causality between events from algebraic semantics of Petri nets. J...