189 search results - page 8 / 38 » The unfolding of general Petri nets |
TOPNOC
2008
13 years 8 months ago
2008
Abstract. In a seminal paper, McMillan proposed a technique for constructing a finite complete prefix of the unfolding of bounded (i.e., finitestate) Petri nets, which can be used ...
QEST
2007
IEEE
14 years 3 months ago
2007
IEEE
Generalized Stochastic Petri Nets (GSPNs) are a widely used high-level formalism used for modelling discrete-event systems. The Platform Independent Petri net Editor (PIPE) is an ...
CONCUR
2005
Springer
14 years 2 months ago
2005
Springer
Starting from the opinion that the standard firing rule of Petri nets embodies the collective token interpretation of nets rather than their individual token interpretation, I pro...
CONCUR
1993
Springer
14 years 24 days ago
1993
Springer
ENTCS
2002
13 years 8 months ago
2002
In this paper, we revisit the forward and backward approaches to the verification of extensions of infinite state Petri Nets. As contributions, we propose an efficient data struct...