A compositional partial order semantics for petri net components

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1248, Issue , 1997, Pages 235-252

  Kindler, Ekkart ^a  

^a HUMBOLDT UNIVERSITY   (Germany)

Author keywords

Compositional semantics; Fully abstract; Partial order semantics; Petri net component; Rely guarantee specification

Indexed keywords

COMPUTER CIRCUITS; MESSAGE PASSING; PETRI NETS; RECONFIGURABLE HARDWARE; TEMPORAL LOGIC;

COMPOSITION OF COMPONENTS; COMPOSITIONAL SEMANTICS; INPUT AND OUTPUTS; NET COMPONENT; PARTIAL ORDER SEMANTICS; RELY GUARANTEES;

SEMANTICS;

EID: 84958968016     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-63139-9_39     Document Type: Conference Paper

References (31)

1. Martín Abadi and Leslie Lamport. Composing specifications. In J.W. de Bakker and W.-P. de Roever, editors, Stepwise Refinement of Distributed Systems. Models, Formalisms, Correctness, LNCS 430. Springer-Verlag, 1990.
2. Martín Abadi and Leslie Lamport. Conjoining specifications. Research Report 118, Digital Equipment Corporation, System Research Center, December 1993.
3. th annual ACM Symposium on Theory of Computing, pages 51-63. ACM, April 1984.
4. Bernd Baumgarten. On internal and external characterizations of PT-net building block behaviour. In G. Rozenberg, editor, Advances in Petri Nets 1988, LNCS 340, pages 44-61. Springer-Verlag, 1988.
5. E. Best, R. Devillers, and F.G. Hall. The box calculus: A new causal algebra with multi-label communication. In G. Rozenberg, editor, Advances in Petri nets 1992, LNCS 609, pages 21-69. Springer-Verlag, 1992.
6. Eike Best and César Fernández. Nonsequential Processes, EATCS Monographs on Theoretical Computer Science 13. Springer-Verlag, 1988.
7. K. M. Chandy and J. Misra. Parallel Program Design: A Foundation. Addison-Wesley, 1988.
8. Søren Christensen and Niels D. Hansen. Coloured Petri nets extended with channels for synchronous communication. In R. Valette, editor, Application and Theory of Petri Nets 1994, LNCS 815, pages 159-178. Springer-Verlag, 1994.
9. U. Goltz and W. Reisig. The non-sequential behaviour of Petri nets. Information and Control, 57:125-147, 1983.
10. th International Conference, LNCS 619, pages 262-281, Chicago, Illinois, USA, June 1993. Springer-Verlag.
11. Cliff, B Jones. Specification and design of (parallel) programs. In R.E.A. Mason, editor, Information Processing, pages 321-332. IFIP, Elsevier Science Publishers B.V. (North Holland), 1983.
12. Ekkart Kindler. Modularer Entwurf verteilter Systeme mit Petrinetzen, Edition Versal 1. Bertz Verlag, December 1995. Dissertation, Technische Universität München.
13. Ekkart Kindler and Wolfgang Reisig. Algebraic system nets for modelling distributed algorithms. Petri Net Newsletter, 51:16-31, December 1996.
14. Ekkart Kindler, Wolfgang Reisig, Hagen Völzer, and Rolf Walter. Petri net based verification of distributed algorithms: An example. Informatik-Berichte 63, Humboldt-Universität zu Berlin, May 1996.
15. Ekkart Kindler and Rolf Walter. Message passing mutex. In J. Desei, editor, Structures in Concurrency Theory, Workshops in Computing, pages 205-219, Berlin, May 1995. Springer-Verlag.
16. Ekkart Kindler and Rolf Walter. Mutex needs fairness. Information Processing Letters, 1997. to appear.
17. Zohar Manna and Amir Pnueli. The Temporal Logic of Reactive and Concurrent Systems, Specification. Springer-Verlag, 1992.
18. Antoni Mazurkiewicz. Compositional semantics of pure place/transition systems. In G. Rozenberg, editor, Advances in Petri Nets 1988, LNCS 340, pages 307-330. Springer-Verlag, 1988.
19. Mogens Nielsen, Lutz Priese, and Vladimiro Sassone. Characterizing behavioural congruences for Petri nets. In I. Lee and S.A. Smolka, editors, CONCUR '95: Concurrency Theory, LNCS 962, pages 175-189. Springer-Verlag, August 1995.
20. Paritosh K. Pandya. Some comments on the assumption-commitment framework for compositional verification of distributed programs. In de Bakker, de Roever, and Rozenberg, editors, Stepwise Refinement of Distributed Systems, LNCS 430, pages 622-640. Springer-Verlag, 1990.
21. Amir Pnueli. In transition from global to modular temporal reasoning about programs. In K.R. Apt, editor, Logics and Models of Concurrent Systems, Series F: Computer and System Science 13, pages 123-144. Springer-Verlag, 1985.
22. Lutz Priese and Harro Wimmel. On some compositional Petri net semantics. Fachberichte Informatik 20/95, Universität Koblenz-Landau, 1995.
23. Wolfgang Reisig. Das Verhalten verteilter Systeme. GMD-Bericht 170. Oldenbourg Verlag, 1987.
24. Wolfgang Reisig. Elements of a temporal logic coping with concurrency. SFBBericht 342/23/92 A, Technische Universiät München, November 1992.
25. Wolfgang Reisig. Petri net models of distributed algorithms. In Jan van Leeuwen, editor, Computer Science Today: Recent Trends and Developments, LNCS 1000, pages 441-454. Springer-Verlag, 1995.
26. th International Conference, LNCS 691, pages 377-396. Springer-Verlag, June 1993.
27. th International Conference, LNCS 815, pages 471-490. Springer-Verlag, June 1994.
28. Younes Souissi and Gérard Memmi. Composition of nets via a communication medium. In G. Rozenberg, editor, Advances in Petri Nets 1990, LNCS 483, pages 457-470. Springer-Verlag, 1990.
29. Antti Valmari. Compositional analysis with place-bordered subnets. In R. Valette, editor, Application and Theory of Petri Nets, LNCS 815, pages 531-547. Springer-Verlag, 1994.
30. R. Walter, H. Völzer, T. Vesper, W. Reisig, E. Kindler, J. Freiheit, and J. Desel. Memorandum: Petrinetzmodelle zur Verifikation verteilter Algorithmen. Informatik-Bericht 67, Humboldt-Universität zu Berlin, July 1996.
31. Harro Wimmel and Lutz Priese. An application of compositional Petri net semantics. Fachberichte Informatik 14/96, Universität Koblenz-Landau, 1996.