Abstract
We consider asynchronously composed I/O-Petri nets (AIOPNs) with built-in communication channels. They are equipped with a compositional semantics in terms of asynchronous I/O-transition systems (AIOTSs) admitting infinite state spaces. We study various channel properties that deal with the production and consumption of messages exchanged via the communication channels and establish useful relationships between them. In order to support incremental design we show that the channel properties considered in this work are preserved by asynchronous composition, i.e. they are compositional. As a crucial result we prove that the channel properties are decidable for AIOPNs.
Original language | English |
---|---|
Title of host publication | Application and Theory of Petri Nets and Concurrency : 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013. Proceedings |
Editors | José-Manuel Colom, Jörg Desel |
Number of pages | 20 |
Publisher | Springer Publishing Company |
Publication date | 8 Jul 2013 |
Pages | 369-388 |
ISBN (Print) | 978-3-642-38696-1 |
ISBN (Electronic) | 978-3-642-38697-8 |
DOIs | |
Publication status | Published - 8 Jul 2013 |
Event | 34th International Conference on Application and Theory of Petri Nets and Concurrency - Milano, Italy Duration: 24 Jun 2013 → 28 Jun 2013 Conference number: 34 http://www.mc3.disco.unimib.it/petrinets2013/ |
Conference
Conference | 34th International Conference on Application and Theory of Petri Nets and Concurrency |
---|---|
Number | 34 |
Country/Territory | Italy |
City | Milano |
Period | 24/06/2013 → 28/06/2013 |
Internet address |
Series | Lecture Notes in Computer Science |
---|---|
Volume | 7927 |
ISSN | 0302-9743 |