Author:
Brown Carolyn,Gurr Doug,Paiva Valeria De
Abstract
This paper defines a category <strong>GNet</strong> with object set all Petri nets. A morphism in <strong>GNet</strong> 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.
Publisher
Det Kgl. Bibliotek/Royal Danish Library
Cited by
16 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Formal Foundation of Systems Engineering;Complex Systems Design & Management;2015
2. Linear Process Algebra;Distributed Computing and Internet Technology;2011
3. Dynamic Modification of System Structures Using LLPNs;Lecture Notes in Computer Science;2004
4. Functorial Models for Petri Nets;Information and Computation;2001-11
5. Chu spaces from the representational viewpoint;Annals of Pure and Applied Logic;1999-03