Representation Theorems for Petri Nets

Meseguer, J., Montanari, U. and Sassone, V. (1997) Representation Theorems for Petri Nets. In, Foundations of Computer Science : Potential - Theory - Cognition. Springer, 239-249.


[img] PDF
Download (204Kb)


This paper retraces, collects, summarises, and mildly extends the contributions of the authors --- both together and individually --- on the theme of representing the space of computations of Petri nets in its mathematical essence.

Item Type: Conference or Workshop Item (Paper)
ISBNs: 354063746
Keywords: petri nets semantics, petri nets processes, symmetric monoidal categories
Divisions: Faculty of Physical Sciences and Engineering > Electronics and Computer Science > Web & Internet Science
ePrint ID: 261956
Date Deposited: 12 Feb 2006
Last Modified: 27 Mar 2014 20:05
Publisher: Springer
Further Information:Google Scholar

Actions (login required)

View Item View Item