136 search results - page 12 / 28 » Algorithm of Translation of MSC-specified System into Petri ... |
FSTTCS
2009
Springer
14 years 1 months ago
2009
Springer
ABSTRACT. We consider concurrent systems that can be modelled as 1-safe Petri nets communicating through a fixed set of buffers (modelled as unbounded places). We identify a param...
APN
2004
Springer
14 years 24 days ago
2004
Springer
Process mining offers a way to distill process models from event logs originating from transactional systems in logistics, banking, e-business, health-care, etc. The algorithms us...
PNPM
1987
13 years 11 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...
ASIAN
1998
Springer
13 years 11 months ago
1998
Springer
In recent years, several semantics for place/transition Petri nets have been proposed that adopt the collective token philosophy. We investigate distinctions and similarities betwe...
AUTOMATICA
2010
13 years 5 months ago
2010
In this paper we present an efficient approach for the fault detection of discrete event systems using Petri nets. We assume that some of the transitions of the net are unobservabl...