Petri nets with marking-dependent arc cardinality: Properties and analysis

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 815 LNCS, Issue , 1994, Pages 179-180

  Ciardo, Gianfranco ^a  

^a Dept of Economics and Thomas Jefferson Program in Public Policy at the College of William and Mary   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

PETRI NETS;

CARDINALITIES; DECIDABILITY PROPERTIES; DEPENDENT ARC; EXPRESSIVE POWER; MODEL APPLICATION; SYSTEMS MODELING;

MODELING LANGUAGES;

EID: 85027532325     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-58152-9_11     Document Type: Conference Paper

References (25)

1. M. Ajmone Marsan, G. Balbo, and G. Conte. A class of Generalized Stochastic Petri Nets for the performance evaluation of multiprocessor systems. A CM Trans. Comp. Syst., 2(2):93-122, May 1984.
2. M. Ajmone Marsan and G. Chiola. On Petri Nets with deterministic and exponentially distributed firing times. In G. Rozenberg, editor, Adv. in Petri Nets 1987, Lecture Notes in Computer Science 266, pages 132-145. Springer-Verlag, 1987.
3. T. Araki and T. Kasami. Some decision problems related to the reachability problem for Petri nets. Theoretical Computer Science, 3:85-104, 1977.
4. G. Balbo, G. Chiola, G. Franceschinis, and G. Molinari Roet. On the efficient construction of the tangible reachability graph of generalized stochastic Petri nets. In Proc. of the Int. Workshop on Petri Nets and Performance Models, Madison, Wisconsin, Aug. 1987.
5. J. Bechta Dugan and G. Ciãdo. Stochastic Petri net analysis of a replicated file system. IEEE Trans. Softw. Eng., 15(4):394-401, Apr. 1989.
6. G. Chiola. A Graphical Petri Net Tool for Performance Analysis. In Proc. 3rd Int. Conf. on Modelin 9 Techniques and Tools for Performance Analysis, Paris, pages 323-333, 1987.
7. G. Chiola, S. Donatelli, and G. Franceschinis. GSPNs versus SPNs: what is the actual role of immediate transitions? In Proc. of the Fourth Int. Workshop on Petri Nets and Performance Models (PNPM91), Melbourne, Australia, Dec. 1991.
8. G. Ciardo. Analysis of large stochastic Petri net models. PhD thesis, Duke University, Durham, North Carolina, 1989.
9. G. Ciardo, A. Blakemore, P. F. J. Chimento, J. K. Muppala, and K. S. Trivedi. Automated generation and analysis of Markov reward models using Stochastic Reward Nets. In C. Meyer and R. J. Plemmons, editors, Linear Algebra, Markov Chains, and Queueing Models, volume 48 of IMA Volumes in Mathematics and its Applications, pages 145-101. Springer-Verlag, 1993.
10. G. Ciardo, R. German, and C. Lindemann. A characterization of the stochastic process underlying a stochastic Petri net. In Proc. of the Fifth Int. Workshop on Petri Nets and Performance Models (PNPM93), Toulouse, France, Oct. 1993.
11. G. Ciaxdo and C. Lindemann. Analysis of deterministic and stochastic Petri nets. In Proc. of the Fifth Int. Workshop on Petri Nets and Performance Models (PNPM93), Toulouse, France, Oct. 1993.
12. G. Ciaxdo and K. S. Trivedi. A decomposition approach for stochastic reward net models. Perf. Eval., 18:37-59, 1993.
13. G. Ciardo, K. S. Trivedi, and J. Muppala. SPNP: stochastic Petri net package. In Proc. of the Third Int. Workshop on Petri Nets and Performance Models (PNPM89), pages 142-151, Kyoto, Japan, Dee. 1989. IEEE Computer Society Press.
14. J. M. Colom and M. Silva. Convex geometry and semiflows in P/T nets. A comparative study of algorithms for the computation of minimal p-semiflows. In lOth International Conference on Application and Theory of Petri Nets, Bonn, Germany, 1989.
15. M. Hack. Petri net languages. Technical Report 159, Laboratory for Computer Science, Massachusetts Institute of Technology, Cambridge, Massaehussetts, Mar. 1976.
16. O. C. Ibe and K. S. Trivedi. Stochastic Petri net modeling of VAXCluster system availability. In Proc. of the Third Int. Workshop on Petri Nets and Performance Models (PNPM89), Kyoto, Japan, Dec. 1989.
17. M. Jantzen. Language theory of Petri nets. In W. Brauer, W. Reisig, and G. Rozenberg, editors, Adv. in Petri Nets 1986, Part I, Lecture Notes in Computer Science ~54, pages 397-412. Springer-Verlag, 1986.
18. G. Klas and R. Lepold. TOMSPIN, a tool for modeling with stochastic Petri nets. In CompEuro 92, pages 618-623, The Hague, The Netherlands, May 1992.
19. C. Lindemann. DSPNexpress: A software package for the efficient solution of Deterministic and Stochastic Petri Nets. In Proc. 6th Int. Conf. on Modelling Techniques and Tools for Computer Performance Evaluation, pages 15-29, Edinburgh, Great Britain, 1992.
20. M. Lu, D. Zhang, and T. Murata. Analysis of self-stabilizing clock synchronization by means of stochastic Petri nets. IEEE Trans. Comp., 39:597-604, 1990.
21. J. L. Peterson. Petri Net Theory and the Modeling of Systems. Prentice-Hall, 1981.
22. C. Petri. Kommunikation mit Automaten. PhD thesis, University of Bonn, Bonn, West Germany, 1962.
23. W. Reisig. Petri Nets, volume 4 of EATC Monographs on Theoretical Computer Science. Springer-Verlag, 1985.
24. R. Valk. On the computational power of extended Petri nets. In Seventh Symposium on Mathematical Foundations of Computer Science, Lecture Notes in Computer Science 64, pages 527-535. Springer-Verlag, 1978.
25. R. Valk. Generalizations of Petri nets. In Mathematical foundations of computer science, Lecture Notes in Computer Science 118, pages 140-155. Springer-Verlag, 1981.