Analiza sieci Petriego i jej niektóre zastosowania w systemach organizacji

• Autorzy: Waldemar Korczyński

Warianty tytułu

Analysis of Petri Net and its Applications in System Modelling

• Języki publikacji: PL

Abstrakty

Przedstawiono elementy teorii sieci Petriego w jednej z bardziej znanych prezentacji, m.in. pojęcie procesu oraz pewne typy i rozszerzenia teorii sieci. (abstrakt oryginalny)

EN

In the paper some basic notions (e.g. the notion of processes) and some enrichments (e. g. timing nets) of the theory of Petri nets in the so-called "pre-post" presentation, are described. The article is a continuation of the paper "Petri nets - a tool for description of dynamic systems". (original abstract)

Słowa kluczowe

PL

Sieć Petriego; System dynamiczny

EN

Petri net; Dynamic system

• Czasopismo: Badania Operacyjne i Decyzje
• Rocznik: 1999
• Numer: nr 3-4
• Strony: 33--54

Twórcy

autor

Waldemar Korczyński

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

Bibliografia

• [1] ARBIB M., MANES Е., Arrows, Structures and Functors, London, Academic Press, 1978.
• [2] ARBIВ М., MANES Е., Foundation of System Theory, The Hankel Matrix, J. Сomp. & Syst. Sc., 1980, Vol. 20, No. 3.
• [3] ARBIB M., MANES Е., Generalized HankeI Matrices and System Realization, SIAM J. Math., 1980, Vol. 11, No. 3.
• [4] BACCIALII F.L., COHEN G., OLSDER G.J., QUADRAT J.P., Synchronization and Linearity, Wiley & Sons 1992.
• [5] BAUMGARTEN В., Petri-Netze, Grundlagen und Anwendungen, Mannheim, Wissenschaftesverlag, 1990.
• [6] CERONE A., A net based Approach foe Specifying Real Time Systems, praca doktorska, Dipartimento di informatica, Univ. di Pisa, Pisa, 1993.
• [7] COHN P., Universal Algebra, London, Harper & Row, 1968.
• [8] DEGANO P., MESEGUER J., MONTANARI U., Axiomatizing the Algebra of Net Computations and Processes, Technical Rep. 1/91 of Соmр. Sc. Dep. of University of Pisa.
• [9] DIAMANTINI C., KASANGIAN S., POMELLO I., SIMONE C., Elementary nets and 2-categories, in 3rd Workshop on Concurrency and Compositionally Goslar, March 1991, GMD-Studien. 1991, No. 191.
• [10] GENRICH H.J., LAUTENBACH K., THIAGARAJAN P.S., Elements of General Net Theory, in Brauer W. (ed). Net Theory and Applications, LNCS 84 Springer Verlag, Berlin, Heidelberg, New York 1980.
• [11] GUNTER C., GEHLOT V., Nets as Tensor Theories, in proc. of the 10-th Conf. on Application & Theory of Petri nets, Bonn 1989.
• [12] INGASIAK E., Programowanie sieciowe, Warszawa, PWE, 1975.
• [13] KORCZYŃSKI W., On an Algebraisation of Petri Nets, Archiwum Informatyki Teoretycznej i Stosowanej, 1994, 1.
• [14] KOTOV V.E., Sieci Petri, Moskwa, Nauka, 1984 (ros.).
• [15] LESZAK M., EGGERT H., Petri Netz Methoden und Werkzeuge. Springer Informatik Fachberichte 197, Berlin 1988.
• [16] MACLANE S., Categories for the Working Mathematicians, Springer Verlag, Berlin, Heidelberg, New York, 1972.
• [17] MAGOTT J., Sieci Petriego w ocenie wydajności systemów komputerowych, Wrocław, Wyd. Politechniki Wrocławskiej, 1990.
• [18] MAZURKIEWICZ A., Concurrent Program Schemes and their Verification, Technical Report of Aarhus University, 1979.
• [19] MESEGUER J., MONTANARI U., Petri nets are monoids, Inf. And Comput., 1990, 88, No. 2.
• [20] MURATA Т., Petri Nets, Properties, Analysis and Applications, Proc. of IEEE 77, 1977.
• [21] NIELSEN M., PLOTKIN G., WINSKEL G., Petri Nets, Event Structures and Domain, Th. Comp. Sc., 1981, 13.
• [22] NIELSEN M., ROZENBERG G., TIAGARAJAN P.S., Elementary Transition systems and refinement, Acta Informatica, 1992, 9.
• [23] PETERSON J.L., Petri Net Theory and the Modeling of Systems, Prentice Hall, 1981.
• [24] PETRI C.A., Concepts of Net Theory, Proceedings of MFCS'73 Springer LNCS 1973.
• [25] Petri Nets and Performance Models, Proc. 4th IEEE Workshop Melbourne, 1991.
• [26] POPOVA L., On Time Petri Nets, Elektronische Informationverarbeitung und Kybernetik, 1990, 4.
• [27] RAMCHANDAMI С., Analysis of Asynchronous Concurrent Systems by Timed Petrri Nets, MAC Project, Technical Report 120, MIT 1974.
• [28] RASIOWA H., Wstęp do matematyki współczesnej, Warszawa, PWN, 1979.
• [29] REISIG W., Sieci Petriego, Warszawa, WNT, 1988.
• [30] REUTENAUER C., The Mathematics of Petri Nets, Masson and Prentice Hall International (UK) Ltd., 1990.
• [31] 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.
• [32] STARKE P.H., Sieci Petri, Warszawa, PWN, 1987.
• [33] STARKE P.H., Analyse ven Petri-Netz-Modellen, Stuttgart, Teubner, 1990.
• [34] SURAJ Z., KOMAREK В., GRAF, system graficznej konstrukcji i analizy sieci Petriego, Warszawa, PLJ, 1994.
• [35] VALETTE R., Analysis of Petri Nets by stepwise Refinement, J. Сomp. & Syst. Sc., 1978, 18.
• [36] WINKOWSKI J., An Algebraic Description of System Behaviours, Th. Comp.-Sc., 1982, 21.
• [37] WINKOWSKI J., Time consuming computations, ICS-PAS Report 722, Warsaw 1992.
• [38] WINKOWSKI J., A Generalization of Petri Nets by Equipping them with Inputs and Outputs, ICS-PAS Report 686, Warsaw 1990.
• [39] WINSKEL G., A new definition of Morphism of Petri nets, Proc. STACS'84, Springer LNCS 166, Springer Verlag, Berlin, Heidelberg, New York 1984.
• [40] WINSKEL G., Event Structures, in Rozenberg G. (ed.). Net Theory and Applications, Bad Honef 1986, LNCS 235, Springer Verlag, Berlin, Heidelberg, New York, 1987.
• [41] ZUSE K., Anwendugen von Perti-Netzen, "Vieveger", Friedr. Vieveger & Sohn, Braunschweig/Wiesbaden, 1982.