On internal and external characterisations of PT-net building block behaviour-Reference-Cited by-同舟云学术

On internal and external characterisations of PT-net building block behaviour

Published:1988 Issue: Volume: Page:44-61
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Baumgarten Bernd

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-50580-6_23.pdf

Reference19 articles.

1. C. André: Use of the Behaviour Equivalence in Place-Transition Net Analysis, in: Application and Theory of Petri Nets, IFB 52, Springer, 1982

2. B. Baumgarten: Über interne und externe Charakterisierungen des Verhaltens von PT-Netz-Bausteinen, Arbeitspapiere der GMD, Nr. 185, 1985

3. B. Baumgarten, P. Ochsenschläger, R. Prinoth: Building Blocks for Distributed Systems Design, in: Protocol Specification, Testing and Verification V, North-Holland, 1986

4. B. Baumgarten, H. J. Burkhardt, P. Ochsenschläger, R. Prinoth: The Signing of a Contract — a Tree-Structured Application Modelled with Petri Net Building Blocks, in: Advances in Petri Nets 1985, LNCS 222, Springer, 1986, (long version in: Arbeitspapiere der GMD, Nr.161, 1985)

5. B. Baumgarten, P. Ochsenschläger, R. Prinoth: A Formal Model of the CCR Algorithm, Arbeitspapiere der GMD, Nr.186, 1985

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

1. A MDE Approach for Modelling and Distributed Simulation of Health Systems;Economics of Grids, Clouds, Systems, and Services;2020

2. A Methodology for Architectural Design of Concurrent and Distributed Software Systems;The Journal of Supercomputing;2006-09

3. A compositional partial order semantics for Petri net components;Application and Theory of Petri Nets 1997;1997

4. Replacement of open interface subnets and stable state transformation equivalence;Advances in Petri Nets 1993;1993

5. Asynchronous communication of Petri Nets and the refinement of transitions;Automata, Languages and Programming;1992