B(PN) 2 — a basic Petri net programming notation-Reference-Cited by-同舟云学术

B(PN) 2 — a basic Petri net programming notation

Published:1993 Issue: Volume: Page:379-390
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Best Eike,Hopkins Richard P.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-56891-3_30.pdf

Reference25 articles.

1. E.Best, R.Devillers and J.G.Hall: The Petri Box Calculus: a New Causal Algebra with Multiway Communication. Advances in Petri Nets 1992 (ed. G.Rozenberg), 21–69, Springer-Verlag Lecture Notes in Computer Science Vol.609 (1992).

2. L.Cherkasova and V.Kotov: Descriptive and Analytical Process Algebras. Advances in Petri Nets 89 (ed. G.Rozenberg), Springer-Verlag Lecture Notes in Computer Science Vol. 424, 77–104 (1989).

3. P.Degano, R.De Nicola and U.Montanari: A Distributed Operational Semantics for CCS Based on C/E Systems. Acta Informatica 26 (1988).

4. J.Esparza: Past Model Checking Using Branching Processes. Hildesheimer Informatikbericht 14/92 (October 1992). An abridged version appears in Proc. of TAPSOFT-93 (1993).

5. F.Feldbrugge: Petri Net Tool Overview 1989. Advances in Petri Nets 1989 (ed. G.Rozenberg), Springer-Verlag Lecture Notes in Computer Science, Vol.424, 151–178 (1990).

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

1. Concurrent Programming from pseuCo to Petri;Application and Theory of Petri Nets and Concurrency;2019

2. ABCD: A User-Friendly Language for Formal Modelling and Analysis;Application and Theory of Petri Nets and Concurrency;2016

3. Petri Net Distributability;Perspectives of Systems Informatics;2012

4. Generic Executable Semantics for D-Clean;Electronic Notes in Theoretical Computer Science;2011-12

5. M-nets: a survey;Acta Informatica;2008-10-10