357 search results - page 30 / 72 » On the Model of Computation of Place Transition Petri Nets |
113
Voted
DATE
1998
IEEE
15 years 6 months ago
1998
IEEE
Petri nets are a graph-based formalism appropriate to model concurrentsystems such as asynchronouscircuits or network protocols. Symbolic techniques based on Binary Decision Diagr...
105
Voted
PNPM
1987
15 years 5 months ago
1987
We present a stochastic Petri net model of a replicated file system in a distributed environment where replicated files reside on different hosts and a voting algorithm is used to...
96
Voted
ICCS
2004
Springer
15 years 7 months ago
2004
Springer
We propose to use high-level Petri nets as a model for the semantics of high-level parallel systems. This model is known to be useful for the purpose of verification and we show t...
74
Voted
ICNP
1995
IEEE
15 years 5 months ago
1995
IEEE
111
Voted
CG
1998
Springer
15 years 1 months ago
1998
Springer
