Sieci Petriego jako narzędzie opisu systemów dynamicznych

Korczyński, Waldemar

Nowa wersja platformy, zawierająca wyłącznie zasoby pełnotekstowe, jest już dostępna.
Przejdź na https://bibliotekanauki.pl

Artykuł - szczegóły

Czasopismo

Badania Operacyjne i Decyzje

1999 | nr 2 | 27-51

Tytuł artykułu

Sieci Petriego jako narzędzie opisu systemów dynamicznych

Autorzy

Waldemar Korczyński

Warianty tytułu

Petri Nets - a Tool for Description of Dynamic Systems

Języki publikacji

Abstrakty

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)

Słowa kluczowe

Sieć Petriego System dynamiczny Teoria grafów Modele matematyczne

Petri net Dynamic system Graph theory Mathematical models

Czasopismo

Badania Operacyjne i Decyzje

Rocznik

1999

Numer

nr 2

Strony

27-51

Opis fizyczny

Twórcy

autor

Waldemar Korczyński

Wyższa Szkoła Pedagogiczna im. Jana Kochanowskiego w Kielcach

Bibliografia

[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.

Typ dokumentu

Bibliografia

Identyfikatory

Identyfikator YADDA

bwmeta1.element.ekon-element-000171606205