@inproceedings{683afa05786b4637b0b51bf4fa38c067,
title = "Operational semantics for the Petri box calculus",
abstract = "The Petri Box Calculus (PBC), based on Milner's CCS, has been developed to provide a compositional semantics of high level programming constructs in terms of a class of Petri nets with interfaces, called Petri Boxes. In this paper we present a structural operational semantics for Box expressions which provide the syntax for the PBC. We show that the use of equations in addition to action rules leads to a uniform theory consisting essentially of a single action rule, a set of context rules, and a set of equations. To capture what is basically the standard Petri net transition rule, we introduce an overbarring and underbarring technique which is related to that used in the event systems due to Boudol and Castellani. We define step sequence rules and show their consistency and completeness with respect to the counterparts from net theory. The results hold also for expressions involving unguarded recursion.",
keywords = "Petri nets, Process algebra, Step sequences, Structured operational semantics",
author = "Maciej Koutny and Javier Esparza and Eike Best",
note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 1994.; 5th International Conference on Concurrency Theory, CONCUR 1994 ; Conference date: 22-08-1994 Through 25-08-1994",
year = "1994",
doi = "10.1007/978-3-540-48654-1\_19",
language = "English",
isbn = "9783540583295",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "210--225",
editor = "Bengt Jonsson and Joachim Parrow",
booktitle = "CONCUR 1994",
}