184 search results - page 1 / 37 » Distributed Unfolding of Petri Nets |
CONCUR
1999
Springer
13 years 9 months ago
1999
Springer
Abstract. The unfolding method, initially introduced for systems modelled by Petri nets, is applied to synchronous products of transition systems, a model introduced by Arnold [2]....
APN
2010
Springer
13 years 9 months ago
2010
Springer
The unfolding technique is an efficient tool to explore the runs of a Petri net in a true concurrency semantics, i.e. without constructing all the interleavings of concurrent actio...
FOSSACS
2006
Springer
13 years 8 months ago
2006
Springer
Some recent Petri net-based approaches to fault diagnosis of distributed systems suggest to factor the problem into local diagnoses based on the unfoldings of local views of the sy...
FSTTCS
2008
Springer
13 years 6 months ago
2008
Springer
The unfolding of (1-)safe Petri nets to occurrence nets is well understood. There is a universal characterization of the unfolding of a safe net which is part and parcel of a core...
ACSD
2008
IEEE
13 years 6 months ago
2008
IEEE
This paper considers distributed systems, defined as a collection of components interacting through interfaces. Components, interfaces and distributed systems are modeled as Petri...