An axiomatic characterization of algebras of processes of Petri Nets

• Autorzy: Winkowski J.
• Języki publikacji: EN

Abstrakty

PL

Praca dotyczy algebr, które można otrzymać przez wyposażenie zbiorów procesów sieci Petriego w składanie sekwencyjne i równoległe. Rozważane algebry są kategoriami z dodatkową strukturą i z dodatkowymi własnościami. Dowodzi się, że wszystkie struktury algebraiczne o takich własnościach dają się przedstawiać jako algebry procesów sieci Petriego.

Słowa kluczowe

EN

Petri nets; processes; sequential composition; parallel composition; category; monoidal structure

PL

sieci Petriego; stany; procesy; składanie sekwencyjne; składanie równoległe; kategoria; struktura monoidalna

• Wydawca: Instytut Podstaw Informatyki PAN
• Czasopismo: Prace Instytutu Podstaw Informatyki Polskiej Akademii Nauk
• Rocznik: 2005
• Tom: Nr 987
• Strony: 1--19
• Opis fizyczny: Bibliogr. 11 poz.

Twórcy

autor

Winkowski J.

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

Bibliografia

• [DMM 89) Degano, P., Meseguer, J., Montanari, U., Axiomatizing Net Computations and Processes, in Proc. of 4th LICS Symposium, IEEE (1989) 175-185
• [Maz 88] Mazurkiewicz, A., Basic Notions of Trace Theory, in J.
• Bakker, W. P. de Roever and G. Rozenberg (Eds.): Linear Time Branching Time and Partial Order in Logics and Models for Con-currency, Springer LNCS 354 (1988) 285-363
• [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
• [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
• [Th 86]Thiagarajan, P. S., Elementary Net Systems, in: W. Brauer, W. Reisig and G. Rozenberg (Eds.): Advances in.Petri Nets 1986, Part 1, Springer LNCS 254 (1986) 26-59
• [Wink 80]Winkowski, J., Behaviours of Concurrent Systems, Theoret. Comput. Sci. 12 (1980) 39-60
• [Wink 82]Winkowski, J., An Algebraic Description of System Behaviours, Theoret. Comput. Sci. 21 (1982) 315-340
• [Wink 03]Winkowski, J., An Algebraic Characterization of Independence of Petri Net Processes, Information Processing Letters 88 (2003), 73-81
• [Wink 04]Winkowski, J., Towards a Framework for Modelling Systems with Rich Structures of States and Processes, ICS PAS Report 973 (2004), http://www.ipipan.waw.p1/~ wink/winkowski.htm
• [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