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:
Detalles Bibliográficos
Autores principales: Bruni, R., Melgratti, H., Montanari, U.
Formato: SER
Materias:
Semantics
Component framework
Stateless connectors
Calculations
Acceso en línea:http://hdl.handle.net/20.500.12110/paper_03029743_v8415LNCS_n_p54_Bruni
Aporte de:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) de Universidad de Buenos Aires
Descripción
Sumario: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.

Ejemplares similares