BazEkon - The Main Library of the Cracow University of Economics

BazEkon home page

Main menu

Author
Korczyński Waldemar (Wyższa Szkoła Pedagogiczna im. Jana Kochanowskiego w Kielcach)
Title
Sieci Petriego jako narzędzie opisu systemów dynamicznych
Petri Nets - a Tool for Description of Dynamic Systems
Source
Badania Operacyjne i Decyzje, 1999, nr 2, s. 27-51, rys., tab., bibliogr. 29 poz.
Operations Research and Decisions
Keyword
Sieć Petriego, System dynamiczny, Teoria grafów, Modele matematyczne
Petri net, Dynamic system, Graph theory, Mathematical models
Note
streszcz., summ.
Abstract
Opisano podstawowe pojęcia związane z pewnym typem matematycznych modeli systemów współbieżnych. Są to modele oparte na teorii grafów. Omówiono pewne ogólne zasady budowy takich modeli i zdefiniowano dokładniej jeden z nich - sieci Petriego. Próbowano zastosować sieć Petriego jako narzędzie matematycznego modelowania systemów współbieżnych. (abstrakt oryginalny)

In the paper, some basic notions connected with some type of mathematical models of concurrent systems are described. The models are based on graph theory. Some general principles of a construction of such a models are given and a special type of them , i.e., Petri nets, is defined. This is the first part of the paper thought of as an attempt to agitate for using Petri nets as a tool of mathematical modeling of concurrent systems. (original abstract)
Accessibility
The Main Library of the Cracow University of Economics
The Library of Warsaw School of Economics
Bibliography
Show
  1. ARBIB M., MANES E., Arrows, Structures and Functors, London, Academic Press, 1978.
  2. BAUMGARTEN В., Petri-Netze, Grundlagen und Anwendungen, Mannheim, Wissenschaftesverlag, 1990.
  3. COHN P., Universal Algebra, London, Harper & Row, 1968.
  4. GENRICH H.J., LAUTENBACH K., THIAGARAJAN P.S., Elements of General Net Theory in: Brauer W. (ed.) Net Theory and Applications, New York, LNCS 84 Springer Verlag, Berlin, Heidelberg, 1980.
  5. IGNASIAK E., Programowanie sieciowe, Warszawa, PWE, 1975.
  6. KORCZYŃSKI W., Grafowe modele systemów dynamicznych, Miscellanea Oeconomicae, 1997, nr 2.
  7. KORCZYŃSKI W., On a Model of Concurrence (ukaże się w Fundamenta Informaticae).
  8. KOTOV V.E., Sieci Petri, Moskwa, Nauka, 1984.
  9. LESZAK M., EGGERT H., Petri Netz Methoden und Werkzeuge, Berlin, Springer Informatik Fachberichte, 1988, 197.
  10. MACLANE S., Categories for the Working Mathematicians, Berlin, Heidelberg, New York, Springer Verlag, 1972.
  11. MESEGUER J., MONTANARI U., Perti nets are monoids, Inf. and Comput., 1990, 88, nr 2.
  12. NIELSEN M., ROZENBERG G., TIAGARAJAN P.S., Elementary Transition systems and refinement, Acta Informatica, 1992, 9.
  13. PETERSON J.L., Petri Net Theory and the Modeling of Systems, Prentice Hall, 1981.
  14. PETRI C.A., Concepts of Net Theory, Proceedings of MFCS '73 Springer LNCS 1973.
  15. Petri Nets and Performance Models, Proc. 4th IEEE Workshop Melbourne, 1991.
  16. RASIOWA H., Wstęp do matematyki współczesnej, Warszawa, PWN, 1979.
  17. REISIG W., Sieci Petriego, Warszawa, WNT, 1988.
  18. REUTENAUER C., The Mathematics of Petri Nets, Masson and Prentice Hall International,(UK) Ltd, 1990.
  19. ROZENBERG G., Sprawozdania z konferencji "Advances in Petri Nets" 1985-1993, Springer Lect. Not. Сomp. Sc. No. 188, 222, 266, 340, 424, 483, 524, 609, 674, Springer Verlag, Berlin.
  20. STARKE P.H., Sieci Petri, Warszawa, PWN, 1987.
  21. STARKE P.H., Analyse von Petri-Netz-Modellen, Teubner, Stuttgart, 1990.
  22. SURAJ Z., KOMAREK В., GRAF, system graficznej konstrukcji i analizy sieci Petriego, Warszawa, PLJ, 1994.
  23. VALETTE R., Analysis of Petri Nets by stepwise Refinement, J. Сomp. & Syst. Sc., 18, 1978.
  24. WINKOWSKI J., An Algebraic Description of System Behaviours, Th. Сomp. -Sc., 21, 1982.
  25. WINKOWSKI J., Time consuming computations, ICS-PAS Report 722, Warsaw, 1992.
  26. WINKOWSKI J., A Generalization of Petri Nets by Equipping them with Inputs and Outputs, ICS-PAS Report 686, Warsaw, 1990.
  27. WINSKEL G., A new definition of Morphism of Petri nets, Proc. STACS '84 Springer LNCS 166, Springer Verlag, Berlin, Heidelberg, New York, 1984.
  28. WINSKEL G., Event Structures in Rozenberg G. (ed.) Net Theory and Applications, Bad Honef 1986, LNCS 235, Springer Verlag, Berlin, Heidelberg, New York, 1987.
  29. ZUSE K., Anwendungen von Petri-Netzen, Vieveger, Friedr., Vieweger & Sohn, Braunschwig/Wiesbaden, 1982.
Cited by
Show
ISSN
1230-1868
Language
pol
Share on Facebook Share on Twitter Share on Google+ Share on Pinterest Share on LinkedIn Wyślij znajomemu