Representations of Petri net interactions


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

Download

[img] PDF repPetri.pdf - Accepted Manuscript
Restricted to Registered users only

Download (637kB)

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)
Digital Object Identifier (DOI): doi:10.1007/978-3-642-15375-4_38
Venue - Dates: CONCUR'10 Proceedings of the 21st International Conference on Concurrency Theory, France, 2010-08-31 - 2010-09-03
Related URLs:
Subjects:
Organisations: Electronic & Software Systems
ePrint ID: 271272
Date :
Date Event
August 2010Published
Date Deposited: 17 Jun 2010 16:07
Last Modified: 17 Apr 2017 18:18
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/271272

Actions (login required)

View Item View Item