B(PN) -- A Basic Petri Net Programming Notation
| Author(s) : | Richard P. Hopkins Eike Best, |
| Publisher : | N/A |
| Publication Date : | 1993 |
| ISSN : | N/A |
| Abstract : | Abstract 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., |