A Linear Specification Language for Petri Nets
DOI:
https://doi.org/10.7146/dpb.v20i363.6594Abstract
This paper defines a category GNet with object set all Petri nets. A morphism in GNet from a net N to a net N' gives a precise way of simulating every evolution of N by an evolution of N'. We exhibit a morphism from a simple message handler to one with error-correction, showing that the more refined message handler can simulate any behaviour of its simple counterpart. The existence of such a morphism proves the correctness of the refinement.Downloads
Published
1991-10-01
How to Cite
Brown, C., Gurr, D., & Paiva, V. de. (1991). A Linear Specification Language for Petri Nets. DAIMI Report Series, 20(363). https://doi.org/10.7146/dpb.v20i363.6594
Issue
Section
Articles
License
Articles published in DAIMI PB are licensed under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.