@inproceedings{aab5a9683c8941a18dfa68315486a0d5,
title = "General refinement and recursion operators for the Petri box calculus",
abstract = "New generalised definitions are given for the refinement and recursion operators in the calculus of Petri Boxes. It is shown that not only recursion, but also other operators such as sequence, choice and iteration can be viewed as based on refinement. Various structural properties of these operators can be deduced from a general property of (simultaneous) refinement. A partial order based denota-tional approach for recursion is presented, which yields a unique fixpoint even in unguarded cases. The construction is based on a judicious naming discipline for places and transitions and yields a closed form for the fixpoint.",
author = "Eike Best and Raymond Devillers and Javier Esparza",
note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 1993.; 10th Annual Symposium on Theoretical Aspects of Computer Science, STACS 1993 ; Conference date: 25-02-1993 Through 27-02-1993",
year = "1993",
doi = "10.1007/3-540-56503-5_16",
language = "English",
isbn = "9783540565031",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "130--140",
editor = "Patrice Enjalbert and Alain Finkel and Wagner, {Klaus W.}",
booktitle = "STACS 1993 - 10th Annual Symposium on Theoretical Aspects of Computer Science, Proceedings",
}