Representations of Petri net interactions
Sobocinski, Pawel (2010) Representations of Petri net interactions. In, CONCUR 2010 - 21st International Conference on Concurrency Theory, Paris, FR, 31 Aug - 03 Sep 2010. 15pp.
Download
![[img]](http://eprints.soton.ac.uk/style/images/fileicons/application_pdf.png) |
PDF
- Accepted Version
Restricted to Registered users only Download (622Kb) | Request a copy |
Description/Abstract
We introduce a novel compositional algebra of Petri nets, as well as a stateful extension of the calculus of connectors. These two formalisms are shown to have the same expressive power.
| Item Type: | Conference or Workshop Item (Paper) |
|---|---|
| Related URLs: | |
| Subjects: | Q Science > QA Mathematics > QA75 Electronic computers. Computer science |
| Divisions: | Faculty of Physical Sciences and Engineering > Electronics and Computer Science > Electronic & Software Systems |
| Item ID: | 271272 |
| Date Deposited: | 17 Jun 2010 16:07 |
| Last Modified: | 03 Jul 2012 10:14 |
| Contributors: | Sobocinski, Pawel (Author) |
| Date: | 2010 |
| Status: | Unpublished |
| Further Information: | Google Scholar |
| ISI Citation Count: | 2 |
| URI: | http://eprints.soton.ac.uk/id/eprint/271272 |
Actions (login required)
 |
View Item |
