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
Publicado: 2014
Materias:
Semantics
Component framework
Stateless connectors
Calculations
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:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) de Universidad de Buenos Aires
id paper:paper_03029743_v8415LNCS_n_p54_Bruni
record_format dspace
spelling paper:paper_03029743_v8415LNCS_n_p54_Bruni2023-06-08T15:28:53Z From hierarchical BIP to Petri calculus Semantics Component framework Stateless connectors Calculations 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. 2014 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
institution Universidad de Buenos Aires
institution_str I-28
repository_str R-134
collection Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
topic Semantics
Component framework
Stateless connectors
Calculations
spellingShingle Semantics
Component framework
Stateless connectors
Calculations
From hierarchical BIP to Petri calculus
topic_facet Semantics
Component framework
Stateless connectors
Calculations
description 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.
title From hierarchical BIP to Petri calculus
title_short From hierarchical BIP to Petri calculus
title_full From hierarchical BIP to Petri calculus
title_fullStr From hierarchical BIP to Petri calculus
title_full_unstemmed From hierarchical BIP to Petri calculus
title_sort from hierarchical bip to petri calculus
publishDate 2014
url 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
_version_ 1768543134174674944

Ejemplares similares