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
id todo:paper_03029743_v8415LNCS_n_p54_Bruni
record_format dspace
spelling todo:paper_03029743_v8415LNCS_n_p54_Bruni2023-10-03T15:19:36Z From hierarchical BIP to Petri calculus Bruni, R. Melgratti, H. Montanari, U. 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. SER info:eu-repo/semantics/openAccess http://creativecommons.org/licenses/by/2.5/ar 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
Bruni, R.
Melgratti, H.
Montanari, U.
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.
format SER
author Bruni, R.
Melgratti, H.
Montanari, U.
author_facet Bruni, R.
Melgratti, H.
Montanari, U.
author_sort Bruni, R.
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
url http://hdl.handle.net/20.500.12110/paper_03029743_v8415LNCS_n_p54_Bruni
work_keys_str_mv AT brunir fromhierarchicalbiptopetricalculus
AT melgrattih fromhierarchicalbiptopetricalculus
AT montanariu fromhierarchicalbiptopetricalculus
_version_ 1807324538153730048

Ejemplares similares