From hierarchical BIP to Petri calculus
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. © 2014 Springer-Verlag Berlin Heidelberg.
Guardado en:
| Publicado: |
2014
|
|---|---|
| Materias: | |
| Acceso en línea: | https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_03029743_v8415LNCS_n_p54_Bruni http://hdl.handle.net/20.500.12110/paper_03029743_v8415LNCS_n_p54_Bruni |
| Aporte de: |
Ejemplares similares
-
From hierarchical BIP to Petri calculus
por: Bruni, R., et al. -
A connector algebra for P/T nets interactions
Publicado: (2011) -
A connector algebra for P/T nets interactions
por: Bruni, R., et al. -
A survey on basic connectors and buffers
Publicado: (2013) -
A survey on basic connectors and buffers
por: Bruni, R., et al.