10 search results - page 1 / 2 » From Many Places to Few: Automatic Abstraction Refinement fo... |
APN
2007
Springer
13 years 11 months ago
2007
Springer
ENTCS
2008
13 years 5 months ago
2008
Petri nets are a formalism for modelling and validating critical systems. Generally, the approach to specification starts from an abstract view of the system under study. Once val...
APN
1994
Springer
13 years 9 months ago
1994
Springer
Abstract. In the last few years, the semantics of Petri nets has been investigated in several different ways. Apart from the classical "token game", one can model the beh...
ADVIS
2004
Springer
13 years 11 months ago
2004
Springer
Abstract. In many practical business process modelling scenarios using Petri nets, the resultant model does not have a single input place and a single output place. In particular, ...
JCSS
2010
13 years 4 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...