A compositional partial order semantics for Petri net components-Reference-Cited by-同舟云学术

A compositional partial order semantics for Petri net components

Published:1997 Issue: Volume: Page:235-252
ISSN:0302-9743
Container-title:Application and Theory of Petri Nets 1997
language:
Short-container-title:

Author:

Kindler Ekkart

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-63139-9_39.pdf

Reference31 articles.

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. Howard Barringer, Ruurd Kuiper, and Amir Pnueli. Now you may compose temporal logic specifications. In 16th 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.

Cited by 35 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Ad hoc systems management and specification with distributed Petri nets;Journal of Parallel and Distributed Computing;2022-11

2. Modal Open Petri Nets;Application and Theory of Petri Nets and Concurrency;2019

3. Verifikation verteilter Automatisierungssysteme auf Basis einer Modellkomposition;at - Automatisierungstechnik;2018-06-01

4. Place Bisimulation and Liveness for Open Petri Nets;Dependable Software Engineering: Theories, Tools, and Applications;2016

5. A Petri Net-Based Approach to Model and Analyze the Management of Cloud Applications;Transactions on Petri Nets and Other Models of Concurrency XI;2016