1 search results - page 1 / 1 » Reduction rules for reset inhibitor nets |
125
click to vote
JCSS
2010
15 years 1 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...