Concurrent generalized petri nets: Regenerative conditions

Proceedings - 9th International Workshop on Petri Nets and Performance Models, PNPM 2001

Volumn , Issue , 2001, Pages 125-134

  Bernardi, Simona ^a   Balbo, Gianfranco ^a  

^a UNIVERSITY OF TURIN   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

STOCHASTIC SYSTEMS;

CONDITION; FIRING TIME; MARKOV REGENERATIVE PROCESS; NUMERICAL SOLUTION; PRELIMINARY ANALYSIS; REACHABILITY GRAPHS; STATE-SPACE; STOCHASTIC PETRI NETS;

PETRI NETS;

EID: 67349171249     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/PNPM.2001.953362     Document Type: Conference Paper

References (14)

1. M. Ajmone Marsan, G. Balbo, A. Bobbio, G. Chiola, G. Conte, and A. Cumani. The Effect of Execution Policies on the Semantics and Analysis of Stochastic Petri Nets. IEEE Transactions on Sofhvare Engineering, 15(7):832-846, July 1989.
2. M. Ajmone Marsan, G. Balbo, G. Conte, S. Donatelli, and G. Franceschinis. Modelling with Generalized Stochastic Petri Nets. John Wiley Series in Parallel Computing-Chichester, 1995.
3. A. Bobbio, A. Puliafito, and M. Telek. A Modeling framework to Implement Preemptiori Policies in non-Markovian SPNs. Transaction on Software Engineering,26(1), 2000.
4. R. J. Boucherie and M. Sereno. On closed support T-invariants and traffic equations. Journal of Applied Probability, (35):473-481, 1998.
5. J. Campos, S. Donatelli, and M. Silva. Structured solution of asynchronously communicating stochastic modules. IEEE Transactions on Software Engineering, 25(2):147-165,1999.
6. C. Catania, A. Puliafito, M. Scarpa,and L. Vita. Concurrent generalized petri nets. Computation with Markov Chains, pages 359-382,1995.
7. H. Choi, V. Kulkami, and K. Trivedi. Markov Regenerative Stochastic Petri Nets. Performance Evaluation,20:337-357, 1994.
8. J. B. Dugan, K. S. Trivedi, R. M. Geist, and V. F. Nicola. Extended stochastic petri nets: Applications and analysis. In Gelenbe, E, editor, PERFORMANCE.84: Models of Com-put. System Performance, Proc. of the 10th Int. symp., Paris, pages 507-519, Amsterdam, 1984. Elsevier.
9. P. Haas and G. Shedler. Regenerative Stochastic Petri Nets. Performance Evaluation, 6(3): 189-204, 1986.
10. J. Martinez and M. Silva. A simple and fast algorithm to obtain all invariants of a generalized Petri net. In Proc. 2nd European Workshop on Application and Theory of Petri Nets, Bad Honnef, West Germany,Se:ptember 1981. Springer Verlag.
11. T. Murata. Petri Nets: Properties, Analysis and Applications. Proceedings of the IEEE, 77(4), April 1989.
12. A. Puliafito, M. Scarpa, and K.. Trivedi. Petri nets with K simultaneously enabled generally distributed timed transitions. Performance Evaluation,32(1):1-34, 1998.
13. M. Scarpa. Non Markovian Stochastic Petri Nets with Concurrent Generally Distributed Transitions. PhD. Thesis, Dip. di Informatica - Universita di Torino (ITALY), 1999.
14. E. Teruel, G. Franceschinis, and M. Silva. Untimed Petri Nets. Balbo G. and Silva, M.. Sept. 1998. MATCH: Performance Models for Discrete Event Systems with Synchronizations: Formalisms and Analysis Techniques - Human Capital and Mobility CHRX-Cr94-0452 - draft book for the Summer School Jaca (Spain) Vol. I.