by F. Baccelli, S. Foss, B. Gaujal
http://www.loria.fr/~gaujal/Eng-Homepage/../PublicationsPS/foss.ps.gz
Add To MetaCart
Abstract:
In this paper, we give evolution equations for free choice Petri net which generalize the [max; +]-algebraic setting already known for event graphs. These evolution equations can be seen as a coupling of two linear systems, a (min; +)-linear system, and a quasi (+; \Theta)-linear one. This leads to new methods and algorithms to: ffl In the untimed case: check liveness and several other basic logical properties; ffl In the timed case: establish various conservation and monotonicity properties; ffl In the stochastic case: check stability, i.e. the fact that the marking remains bounded in probability, and construct minimal stationary regimes. The main tools for proving these properties are graph theory, idempotent algebras and ergodic theory.
Citations
|
138
|
The Theory of Branching Processes
– HARRIS
- 1989
|
|
26
|
Free Choice Petri Nets. Cambridge Tracts
– Desel, Esparza
- 1995
|
|
23
|
On the Analysis and synthesis of free choice systems
– Esparza, Silva
- 1990
|
|
9
|
Complexity of some problems
– JONES, LANDWEBER, et al.
- 1977
|
|
7
|
Parallel and Distributed Simulation of Free Choice Petri Nets
– Baccelli, Furmento, et al.
- 1995
|
|
6
|
iPetri Nets: Properties, Analysis and Applicationsj
– Murata
- 1989
|
|
5
|
Las Redes de Petri: en la Autom#tica y la Inform#tica, AC Editorial
– Silva
- 1985
|
|
4
|
iRecursive Equations and Basic
– Baccelli, Cohen, et al.
- 1992
|
|
3
|
iStationary Regime and Stability of Free Choice Petri Netsj
– Baccelli, Gaujal
- 1994
|
|
2
|
iStability of Jackson-type Queueing Networksj,Queueing Systems 17
– Baccelli, Foss
- 1994
|
|
2
|
the Saturation Rule for the Stability of Queuesj
– iOn
- 1995
|
|
2
|
Scheduling Dynamic DataFow Graphs with Bounded Memory Using the Token Flow Model
– Buck
- 1993
|
|
2
|
Quadrat P.-P., iAsymptotic Throughput of Continuous Petri netsj
– Cohen, Gaubert
- 1995
|
|
2
|
iParall#lisme et simulation des syst#mes # #v#nements discretsj
– Gaujal
- 1994
|
|
2
|
iA Fresh Look at Free Choice Netsj, Information and Control
– Thiagarajan, Voss
- 1984
|
