Documents
Authors
Tables
Log in
Sign up
MetaCart
DMCA
Donate
Documents:
Advanced Search
Include Citations
Authors:
Advanced Search
Include Citations
Tables:
DMCA
The Timed (Coloured) Petri Net Formalism: position paper
Cached
Download Links
[www.inria.fr]
Save to List
Add to Collection
Correct Errors
Monitor Changes
by Qmips Groups In UTO+ZAR
Summary
Citations
Active Bibliography
Co-citation
Clustered Documents
Version History
Citations
2135
Petri nets: Properties, analysis and applications
- Murata - 1989
895
Matrix-Geometric Solutions in Stochastic Models: An Algorithmic Approach
- Neuts - 1981
306
A class of generalized stochastic Petri nets for the performance analysis of multiprocessor systems
- Marsan, Balbo, et al. - 1984
279
Mean value analysis of closed multichain queueing networks.
- Reiser, Lavenberg - 1980
160
System Modelling with High-Level Petri Nets.
- Genrich, Lautenbach - 1981
159
Analysis of Asynchronous Concurrent Systems by Timed Petri Nets.
- Ramchandani - 1974
154
On Petri nets with deterministic and exponentially distributed firing times
- Marsan, Chiola - 1986
140
Computational algorithms for closed queueing networks with exponential servers.
- Buzen - 1973
138
Decomposability: Queueing and Computer System Applications.
- Courtois - 1977
135
Recoverability of communication protocols - implications of a theoretical study
- Merlin, Farber - 1976
110
Performance Models of Multiprocessor Systems
- Marsan, Balbo, et al. - 1986
106
A Calculus of Communicating Systems, volume 92 of LNCS
- Milner - 1980
89
Transformations and decompositions of nets
- Berthelot - 1987
83
The Operational Analysis of Queueing Network Models
- Denning, Buzen - 1978
78
Communication with automata.
- Petri - 1962
75
On well-formed coloured nets and their symbolic reachability graph
- Chiola, Dutheillet, et al. - 1990
72
Stochastic well-formed coloured nets for symmetric modelling applications
- Chiola, Dutheillet, et al. - 1993
62
Generalized stochastic Petri nets: A definition at the net level and its implications
- Chiola, Marsan, et al. - 1993
61
Towards reachability trees for high-level Petri nets
- Huber, Jensen, et al. - 1984
61
Parametric analysis of queueing networks
- Chandy, Herzog, et al. - 1975
58
Coloured Petri nets and the invariant method
- Jensen - 1981
54
A generalized timed Petri net model for performance analysis
- Holliday, Vernon - 1987
51
Structure theory of Petri nets: The free choice hiatus.
- Best - 1987
44
Las Redes de Petri: en la Automatica y la Informatica.
- Silva - 1985
43
Recursive equations and basic properties of timed Petri nets.
- Baccelli, Cohen, et al. - 1992
37
An improved numerical algorithm for calculating steady-state solutions of deterministic and stochastic Petri net models. Performance Evaluation
- Lindemann - 1993
31
Generalization of reduction theory to coloured nets
- Haddad - 1988
31
Markovian Petri net protocols with product form solution
- Lazar, Robertazzi - 1991
31
Numerical solution methods based on structured descriptions of Markovian models.
- Buchholz - 1992
27
On the analysis and synthesis of free choice systems.
- Esparza, Silva - 1990
27
Embedded processes in stochastic petri nets
- Henderson, Taylor - 1991
27
Combining queueing networks and generalized stochastic Petri nets for the solution of complex models of system behavior,”
- Balbo, Bruell, et al. - 1988
23
On the solution of GSPN reward models. Performance Evaluation
- Ciardo, Muppala, et al. - 1991
21
Operational analysis of timed Petri nets and applications to the computation of performance bounds
- Chiola, Campos, et al. - 1993
21
A net level performance analysis of stochastic Petri nets
- Henderson, Lucic, et al. - 1989
18
Macro E-nets for representation of parallel systems
- Noe, Nutt - 1973
17
Approximate methods for analyzing queueing network models of computing systems
- Chandy, Sauer - 1978
14
Understanding parallel program behavior through petri net models
- Balbo, Donatelli, et al. - 1992
13
Modeling bus contention and memory interference in a multiprocessor system
- Marsan, Balbo, et al. - 1983
11
A symbolic simulation mechanism for well-formed coloured Petri nets
- Chiola, Franceschinis, et al. - 1992
11
Generalized inverses and the calculation of symbolic invariants for colored petri nets.
- Suarez, Martinez, et al. - 1985
10
Linear Invariants in Commutative High Level Nets
- Couvreur, Martínez - 1991
10
The general computation of flows for coloured nets.
- Couvreur - 1990
10
Knapp,Denumerable Markov Chains,
- Kemeni, Snell, et al. - 1966
8
Computational algorithms for product form solution stochastic Petri nets
- Sereno, Balbo - 1993
7
Reseaux de Petri, Theorie et pratique, Tome 1
- Brams - 1983
7
Mean value analysis of stochastic Petri Nets
- Sereno, Balbo - 1997
6
G.: Priorities, inhibitor arcs and concurrency in PT nets
- Chiola, Donatelli, et al. - 1991
6
A structural colour simplification in Well-Formed coloured nets
- Chiola, Franceschinis - 1991
6
Towards a general and powerful computation of flows for parameterized coloured nets.
- Couvreur, Haddad - 1988
5
Sensitivity analysis of Markov regenerative stochastic Petri nets
- Mainkar, Choi, et al. - 1993
3
Efficient simulation of parallel architectures exploiting symmetric well-formed Petri net models
- Chiola, Gaeta - 1995
3
Parallel architectures with regular structure: a case study in modelling using SWN
- Anglano, Donatelli, et al. - 1993
2
On parametric P/T nets and their modelling power
- Chiola, Donatelli, et al. - 1991
2
Une Categorie Regulier de Reseau de Petri de Haut Niveau: Definition, Proprietes et Reductions
- Haddad - 1987
2
Linear programming performance bounds for symmetric coloured nets
- Chiola, Anglano - 1993
2
Resolution parametree d'une famille de systemes d'equations lineaires a solutions positives
- Couvreur, Haddad, et al. - 1990
2
Analysis of large Petri net models
- Ciardo - 1989
1
On the structural and behavioural characterization of P/T nets
- Chiola - 1993
1
Modellazione e Valutazione delle Prestazioni di Sistemi Concorrenti: le Reti di Petri Stocastiche Ben-Formate e loro Tecniche di Analisi
- Franceschinis - 1993
1
Why most stochastic Petri nets are non-product form networks
- Robertazzi - 1991
1
Product form equilibriub distributions and algorithm for classes of batch movement queueing networks and stochastic Petri nets
- Coleman, Henderson, et al. - 1992