B(PN)2 - a Basic Petri Net Programming Notation

@inproceedings{Best1993BPN2A,
  title={B(PN)2 - a Basic Petri Net Programming Notation},
  author={Eike Best and Richard P. Hopkins},
  booktitle={PARLE},
  year={1993}
}
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. 

Figures, Tables, and Topics from this paper.

Citations

Publications citing this paper.
SHOWING 1-10 OF 51 CITATIONS, ESTIMATED 96% COVERAGE

A Uniform Approach to True-Concurrency and Interleaving Semantics for Petri Nets

  • Theor. Comput. Sci.
  • 1998
VIEW 11 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

Construction of Traps for Re ned Petri Boxes

Stéphan, MelzerTechnische, Universit
  • 2007
VIEW 3 EXCERPTS
CITES METHODS
HIGHLY INFLUENCED

A Class of Composable High Level Petri Nets with an Application to the Semantics of B(PN)2

  • Application and Theory of Petri Nets
  • 1995
VIEW 3 EXCERPTS
CITES BACKGROUND & METHODS

An M-net Semantics of B(PN)2

VIEW 3 EXCERPTS
CITES BACKGROUND

Petri nets and programming: A survey

  • 2009 American Control Conference
  • 2009
VIEW 2 EXCERPTS
CITES METHODS & BACKGROUND

M-nets: a survey

  • Acta Informatica
  • 2008
VIEW 2 EXCERPTS
CITES METHODS

FILTER CITATIONS BY YEAR

1995
2012

CITATION STATISTICS

  • 3 Highly Influenced Citations

References

Publications referenced by this paper.
SHOWING 1-5 OF 5 REFERENCES

The Petri Box Calculus : a New Causal Algebra with Multiway Communication

R. Devillers Best
  • Advances in Petri Nets
  • 1992

U . Montanari : A Distributed Operational Semantics for CCS Based on C / E Systems

R. De Nicola
  • Acta Informatica
  • 1988