Paper Info
Title
B(PN)2 - a Basic Petri Net Programming Notation
Abstract
This paper presents the syntax of a concurrent programming notation which inte- grates 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.
Year
DOI
Venue
1993
10.1007/3-540-56891-3_30
PARLE
Keywords
Field
DocType
concurrent programming notation,petri nets,programming notation,basic petri,peterson's mutual exclusion al- gorithm,interaction technique,petri net,mutual exclusion
Notation,Petri net,Programming language,Computer science,Theoretical computer science,Concurrent computing,Syntax,Semantics,Process interaction
Conference
ISBN
Citations 
PageRank 
3-540-56891-3
46
3.72
References 
Authors
12
2
Name
Order
Citations
PageRank
Eike Best127456.26
Richard P. Hopkins234457.30