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.
Download
![[img]](http://eprints.soton.ac.uk/style/images/fileicons/application_pdf.png) |
PDF
Download (204Kb) |
Description/Abstract
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 and Applied Science > Electronics and Computer Science > Web & Internet Science |
| Item ID: | 261956 |
| Date Deposited: | 12 Feb 2006 |
| Last Modified: | 10 Mar 2012 11:22 |
| Contributors: | Meseguer, J. (Author) Montanari, U. (Author) Sassone, V. (Author) |
| Date: | 1997 |
| Status: | Published |
| Publisher: | Springer |
| Further Information: | Google Scholar |
| URI: | http://eprints.soton.ac.uk/id/eprint/261956 |
Actions (login required)
 |
View Item |
