An algebraic Characterization of Independence of Petri Net Processes

• Autorzy: Winkowski J.

Warianty tytułu

PL

Algebraiczna charakteryzacja niezależności procesów definiowanych przez Sieci Petriego

• Języki publikacji: EN

Abstrakty

EN

The paper is concerned with processes of Petri nets. A partial operation on such processes is defined that allows one to concatenate processes whenever one process is a continuation of another. It is shown that the sets of processes of Petri nets form together with this operation categories in which independence of processes can be characterized in a natural, purely algebraic way.

PL

Praca dotyczy procesów definiowanych przez sieci Petriego. Zawiera definicję częściowej operacji pozwalającej konkatenować procesy jeśli jeden proces jest kontynuacją innego. Pokazano,że zbiory procesów sieci Petriego wyposażone w te operację tworzą kategorie, w których niezależność procesów można scharakteryzować naturalnymi, czysto algebraicznymi środkami.

Słowa kluczowe

EN

Petri nets; processes; concatenation; category; independence

PL

sieci Petriego; procesy; konkatenacja; kategoria; niezależność

• Wydawca: Instytut Podstaw Informatyki PAN
• Czasopismo: Prace Instytutu Podstaw Informatyki Polskiej Akademii Nauk
• Rocznik: 2003
• Tom: Nr 953
• Strony: 1--12
• Opis fizyczny: Bibliogr. 16 poz.

Twórcy

autor

Winkowski J.

• Instytut Podstaw Informatyki PAN, Ordona 21, 01-237 Warszawa

Bibliografia

• [Bedn 88] Bednarczyk, M. A., Categories of Asynchronous Systems, PhD thesis in Computer Science, University of Sussex, Report no. 1/88 (1988)
• [BD 87] Best, E., Devillers, R., Sequential and Concurrent Behaviour in Petri Net Theory. Theoret. Comput. Sei. 55 (1987) 87-136
• [DMM 89] Degano, P., Meseguer, J., Montanari, U., Axiomatizing Net Computations and Processes, in Proc. of 4th LICS Symposium, IEEE (1989) 175-185
• [EK 76] Ehrig, H., Kreowski, H. -J., Parallelism of Manipulations in Multidimensional Information Structures, in A. Mazurkiewicz (Ed.): Proc. of MFCS’76, Springer LNCS 45 (1976), 284-293
• [Eng 91] Engelfriet, J., Branching Processes of Petri Nets, Acta Informatica 28 (1991) 575-591
• [HR 91] Hoogeboom, H. J., Rozenberg, G., Diamond Properties of Elementary Net Systems, Fundamenta Informaticae 14 (1991) 287-300
• [Maz 88] Mazurkiewicz, A., em Basic Notions of Trace Theory, in J. W. de Bakker, W. P. de Roever and G. Rozenberg (Eds.): Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, Springer LNCS 354 (1988) 285-363
• [Petri 77] Petri, C., A., Non-Sequential Processes, Interner Bericht ISF-77-5, Gesellschaft fuer Mathematik und Datenverarbeitung, 5205 St. Augustin, Germany (1977)
• [Petri 62] Petri, C A., Kommunikation mit Automaten, PhD thesis, Institut fuer Instrumentelle Mathematik, Bonn, Germany (1962)
• [Petri 80] Petri, C. A., Introduction to General Net Theory, in W. Brauer (Ed.): Net Theory and Applications, Springer LNCS 84 (1980) 1-19
• [Re 85] Reisig, W., Petri Nets: An Introduction, Springer-Verlag (1985)
• [RT 86] Rozenberg, G., Thiagarajan, P. S., Petri Nets: Basic Notions, Structure, Behaviour, in J. W. de Bakker, W. P. de Roever and G. Rozenberg (Eds.): Current Trends in Concurrency, Springer LNCS 224 (1986) 585-668
• [Sh 85] Shields, E. W., Concurrent Machines, Computer Journal, vol. 28 (1985) 449-465
• [Wink 80] Winkowski, J., Behaviours of Concurrent Systems, Theoret. Comput. Sci. 12 (1980) 39-60
• [Wink 821 Winkowski, J., An Alqebraic Description of System Behaviours, Theoret. Comput. Sci. 21 (1982) 315-340
• [WN 95] Winskel, G., Nielsen, M., Models for Concurrency, in S. Abramsky, Dov M. Gabbay and T. S. E. Maibaum (Eds.): Handbook of Logic in Computer Science 4 (1995), 1-148