Channel properties of asynchronously composed Petri nets

Serge Haddad, Rolf Hennicker, Mikael H. Møller

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

12 Citations (Scopus)

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 languageEnglish
Title of host publicationApplication and Theory of Petri Nets and Concurrency : 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013. Proceedings
EditorsJosé-Manuel Colom, Jörg Desel
Number of pages20
PublisherSpringer Publishing Company
Publication date8 Jul 2013
Pages369-388
ISBN (Print)978-3-642-38696-1
ISBN (Electronic)978-3-642-38697-8
DOIs
Publication statusPublished - 8 Jul 2013
Event34th International Conference on Application and Theory of Petri Nets and Concurrency - Milano, Italy
Duration: 24 Jun 201328 Jun 2013
Conference number: 34
http://www.mc3.disco.unimib.it/petrinets2013/

Conference

Conference34th International Conference on Application and Theory of Petri Nets and Concurrency
Number34
Country/TerritoryItaly
CityMilano
Period24/06/201328/06/2013
Internet address
SeriesLecture Notes in Computer Science
Volume7927
ISSN0302-9743

Fingerprint

Dive into the research topics of 'Channel properties of asynchronously composed Petri nets'. Together they form a unique fingerprint.

Cite this