This paper presents the syntax of a concurrent programming notation which integrates a variety of process interaction techniques, its compositional Petri net semantics via the Box calculus, and an example of using the semantics for program verification.
CITATION STYLE
Best, E., & Hopkins, R. P. (1993). B(PN)2- a basic Petri net programming notation. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 694 LNCS, pp. 379–390). Springer Verlag. https://doi.org/10.1007/3-540-56891-3_30
Mendeley helps you to discover research relevant for your work.