Representations of Petri net interactions


Sobocinski, Pawel (2010) Representations of Petri net interactions. In, CONCUR'10 Proceedings of the 21st International Conference on Concurrency Theory, Paris, FR, 31 Aug - 03 Sep 2010. , 554-568. (doi:10.1007/978-3-642-15375-4_38).

Download

[img] 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)
ISBNs: 9783642153747 (hardback)
9783642153754 (electronic)
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
ePrint ID: 271272
Date Deposited: 17 Jun 2010 16:07
Last Modified: 27 Mar 2014 20:16
Further Information:Google Scholar
ISI Citation Count:2
URI: http://eprints.soton.ac.uk/id/eprint/271272

Actions (login required)

View Item View Item