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

Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.

View more statistics