Czasopismo
2014
|
Vol. 129, nr 1/2
|
27--36
Tytuł artykułu
Autorzy
Wybrane pełne teksty z tego czasopisma
Warianty tytułu
Języki publikacji
Abstrakty
Petri net structures are used as communication model of network systems where message transfer channels are represented by the nets' edges, communicating agents - by nets' places and actions of communication - by nets' transitions, which here are called transmissions. The role of (structured) tokens play send/receive statements, that arrive at random, which makes the distribution of edges change dynamically. In this sense a net is self-modyfying: although the set of agents-places is fixed, the channels and communicating actions vary in the course of the net activity. Problems of deadlock and fairness is investigated.
Czasopismo
Rocznik
Tom
Strony
27--36
Opis fizyczny
Bibliogr. 9 poz., rys.
Twórcy
autor
- University of Economics and Computer Science Vistula in Warsaw and University of Warsaw, Poland, lczaja@mimuw.edu.pl
Bibliografia
- [1] Badouel E., Darondeau P.: Stratified Petri Nets, FCT’97, Lecture Notes in Computer Science vol. 1279(1979), pp. 117-128.
- [2] Czaja L.: Deadlock and Fairness in Parallel Schemmas: a Set-Theoretic Charactrerization and Decision Problems, Information Processing Letters, vol. 10, number 4,5 (1980).
- [3] Coulouris G, Dollimore J, Kindberg T: Distributed Systems. Concepts and Design. AddisonWesley, Editions:1988, 1994, 1995, 1996, 2005.
- [4] Hoare C.A.R.: Communicating Sequential Processes, Comm. ACM 21(8) (1978) 666–677.
- [5] Lamport, L.: Time, Clocks, and the Ordering of Events in a Distributed System. Comm. ACM 21(7) (1978)558–565.36 L.
- [6] Petri C.A.: Fundamentals of a Theory of Asynchronous Information Flow. Information Processing 1962, Proceedings of the IFIP Congress 62, Munich, North Holland Publishing Company, Amsterdam (1962) pp.386-390.
- [7] Reisig W.: Petri Nets, An Introduction, EATC Monographs on Theoretical Computer Science, Springer-Verlag, 1985.
- [8] Valk R.: Self-Modifying Nets, a Natural Extension of Petri Nets, Icalp’78, Lecture Notes in Computer Science, vol. 62 (1978), pp. 464-476.
- [9] Valk R.: Generalization of Petri Nets, MFCS’81 Lecture Notes in Computer Science vol. 118 (1981), pp.140-155.
Typ dokumentu
Bibliografia
Identyfikatory
Identyfikator YADDA
bwmeta1.element.baztech-1097d414-d44b-4172-aa0e-f2c5d76e23db