Channel properties of asynchronously composed Petri nets

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

doi:10.1007/978-3-642-38697-8_20

Channel properties of asynchronously composed Petri nets

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

Institut for Datalogi

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

12 Citationer (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.

Originalsprog	Engelsk
Titel	Application and Theory of Petri Nets and Concurrency : 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013. Proceedings
Redaktører	José-Manuel Colom, Jörg Desel
Antal sider	20
Forlag	Springer Publishing Company
Publikationsdato	8 jul. 2013
Sider	369-388
ISBN (Trykt)	978-3-642-38696-1
ISBN (Elektronisk)	978-3-642-38697-8
DOI	https://doi.org/10.1007/978-3-642-38697-8_20
Status	Udgivet - 8 jul. 2013
Begivenhed	34th International Conference on Application and Theory of Petri Nets and Concurrency - Milano, Italien Varighed: 24 jun. 2013 → 28 jun. 2013 Konferencens nummer: 34 http://www.mc3.disco.unimib.it/petrinets2013/

Konference

Konference	34th International Conference on Application and Theory of Petri Nets and Concurrency
Nummer	34
Land/Område	Italien
By	Milano
Periode	24/06/2013 → 28/06/2013
Internetadresse	http://www.mc3.disco.unimib.it/petrinets2013/

Navn	Lecture Notes in Computer Science
Vol/bind	7927
ISSN	0302-9743

Adgang til dokumentet

10.1007/978-3-642-38697-8_20

http://www.scopus.com/inward/record.url?scp=84879612870&partnerID=8YFLogxK

AUB Link

Søg efter materialet i Aalborg Universitetsbiblioteks søgemaskine

Citationsformater

Haddad, S., Hennicker, R., & Møller, M. H. (2013). Channel properties of asynchronously composed Petri nets. I J-M. Colom, & J. Desel (red.), Application and Theory of Petri Nets and Concurrency: 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013. Proceedings (s. 369-388). Springer Publishing Company. https://doi.org/10.1007/978-3-642-38697-8_20

Haddad, Serge ; Hennicker, Rolf ; Møller, Mikael H. / Channel properties of asynchronously composed Petri nets. Application and Theory of Petri Nets and Concurrency: 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013. Proceedings. red. / José-Manuel Colom ; Jörg Desel. Springer Publishing Company, 2013. s. 369-388 (Lecture Notes in Computer Science, Bind 7927).

@inproceedings{039d7dc275664879ae90ff4a649e3642,

title = "Channel properties of asynchronously composed Petri nets",

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.",

author = "Serge Haddad and Rolf Hennicker and M{\o}ller, {Mikael H.}",

year = "2013",

month = jul,

day = "8",

doi = "10.1007/978-3-642-38697-8_20",

language = "English",

isbn = "978-3-642-38696-1",

series = "Lecture Notes in Computer Science",

publisher = "Springer Publishing Company",

pages = "369--388",

editor = "Jos{\'e}-Manuel Colom and J{\"o}rg Desel",

booktitle = "Application and Theory of Petri Nets and Concurrency",

address = "United States",

note = "34th International Conference on Application and Theory of Petri Nets and Concurrency, Petri Nets 2013 ; Conference date: 24-06-2013 Through 28-06-2013",

url = "http://www.mc3.disco.unimib.it/petrinets2013/",

}

Haddad, S, Hennicker, R & Møller, MH 2013, Channel properties of asynchronously composed Petri nets. i J-M Colom & J Desel (red), Application and Theory of Petri Nets and Concurrency: 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013. Proceedings. Springer Publishing Company, Lecture Notes in Computer Science, bind 7927, s. 369-388, 34th International Conference on Application and Theory of Petri Nets and Concurrency, Milano, Italien, 24/06/2013. https://doi.org/10.1007/978-3-642-38697-8_20

Channel properties of asynchronously composed Petri nets. / Haddad, Serge; Hennicker, Rolf; Møller, Mikael H.
Application and Theory of Petri Nets and Concurrency: 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013. Proceedings. red. / José-Manuel Colom; Jörg Desel. Springer Publishing Company, 2013. s. 369-388 (Lecture Notes in Computer Science, Bind 7927).

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

TY - GEN

T1 - Channel properties of asynchronously composed Petri nets

AU - Haddad, Serge

AU - Hennicker, Rolf

AU - Møller, Mikael H.

N1 - Conference code: 34

PY - 2013/7/8

Y1 - 2013/7/8

N2 - 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.

AB - 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.

U2 - 10.1007/978-3-642-38697-8_20

DO - 10.1007/978-3-642-38697-8_20

M3 - Article in proceeding

AN - SCOPUS:84879612870

SN - 978-3-642-38696-1

T3 - Lecture Notes in Computer Science

SP - 369

EP - 388

BT - Application and Theory of Petri Nets and Concurrency

A2 - Colom, José-Manuel

A2 - Desel, Jörg

PB - Springer Publishing Company

T2 - 34th International Conference on Application and Theory of Petri Nets and Concurrency

Y2 - 24 June 2013 through 28 June 2013

ER -

Haddad S, Hennicker R, Møller MH. Channel properties of asynchronously composed Petri nets. I Colom J-M, Desel J, red., Application and Theory of Petri Nets and Concurrency: 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013. Proceedings. Springer Publishing Company. 2013. s. 369-388. (Lecture Notes in Computer Science, Bind 7927). doi: 10.1007/978-3-642-38697-8_20

Channel properties of asynchronously composed Petri nets

Abstract

Konference

Adgang til dokumentet

AUB Link

Fingeraftryk

Citationsformater