Channel Properties of Asynchronously Composed Petri Nets - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2013

Channel Properties of Asynchronously Composed Petri Nets

Résumé

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.

Dates et versions

hal-00926200 , version 1 (09-01-2014)

Identifiants

Citer

Serge Haddad, Rolf Hennicker, Mikael H. Møller. Channel Properties of Asynchronously Composed Petri Nets. 34th International Conference on Applications and Theory of Petri Nets (ICATPN'13), 2013, Italy. pp.369-388, ⟨10.1007/978-3-642-38697-8_20⟩. ⟨hal-00926200⟩
166 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More