2 search results - page 1 / 1 » Coloured Petri Nets Extended with Place Capacities, Test Arc... |
APN
1993
Springer
13 years 9 months ago
1993
Springer
In this paper we show how to extend Coloured Petri Nets (CP-nets), with three new modelling primitives—place capacities, test arcs and inhibitor arcs. The new modelling primitiv...
JCSS
2010
13 years 3 months ago
2010
Abstract. Reset/inhibitor nets are Petri nets extended with reset arcs and inhibitor arcs. A reset arc allows a transition to remove all tokens from a certain place when the transi...