We focus on Hierarchical BIP, an extension of Joseph Sifakis et al's BIP component framework, to provide a semantics-preserving, compositional encoding in the Petri calculus, a recently proposed algebra of stateless connectors and one-position buffers.
From hierarchical BIP to Petri calculus
BRUNI, ROBERTO;MONTANARI, UGO GIOVANNI ERASMO
2014-01-01
Abstract
We focus on Hierarchical BIP, an extension of Joseph Sifakis et al's BIP component framework, to provide a semantics-preserving, compositional encoding in the Petri calculus, a recently proposed algebra of stateless connectors and one-position buffers.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
main.pdf
Open Access dal 01/01/2017
Descrizione: Articolo principale
Tipologia:
Documento in Post-print
Licenza:
Tutti i diritti riservati (All rights reserved)
Dimensione
441.41 kB
Formato
Adobe PDF
|
441.41 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
