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:
| Autores principales: | Bruni, R., Melgratti, H., Montanari, U. |
|---|---|
| Formato: | SER |
| Materias: | |
| Acceso en línea: | http://hdl.handle.net/20.500.12110/paper_03029743_v8415LNCS_n_p54_Bruni |
| Aporte de: |
Ejemplares similares
-
From hierarchical BIP to Petri calculus
Publicado: (2014) -
A connector algebra for P/T nets interactions
por: Bruni, R., et al. -
A survey on basic connectors and buffers
por: Bruni, R., et al. -
Connector algebras, Petri nets, and BIP
por: Bruni, R., et al. -
Behaviour, interaction and dynamics
por: Bruni, R., et al.