For the most recent entries see the Petri Nets Newsletter.

Refinement and Simulation of Nets - a categorical characterisation.

Brown, Carolyn; Gurr, Doug

In: Jensen, K.: Lecture Notes in Computer Science, Vol. 616; 13th International Conference on Application and Theory of Petri Nets 1992, Sheffield, UK, pages 76-92. Springer-Verlag, June 1992.

Abstract: Category theory has been applied to Petri nets in two distinct ways. The first approach is to define a category whose objects are Petri nets and whose morphisms represent the refinement of one net by another. The second approach is to define a category whose objects are themselves categories representing the possible computations of the net. We establish a close connection between these two approaches by exhibiting a reflection between a category of nets and a category of behaviour categories.The morphisms in our categories have an appealing computational interpretation in terms of simulation, which is closely related to the notion of simulation in process algebra.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography