Petri net modules in the transformation-based component framework

DOI10.1016/J.JLAP.2005.09.007MaRDI QIDQ2369035zbMATH OpenOpenAlexFDO

Authors J. Padberg, Hartmut Ehrig

Publication date 28 April 2006

Published in The Journal of Logic and Algebraic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jlap.2005.09.007

zbMATH Keywords

Petri netsComponentsCategory theoryPetri net modulesTransformation based approach to components

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• A formal framework for Petri net class transformations
• Petri net transformations in the Petri Net Baukasten
• scientific article; zbMATH DE number 2087510
• Petri net reactive modules
• scientific article; zbMATH DE number 2155180

Cites work

• scientific article; zbMATH DE number 1696454 (Why is no real title available?)
• scientific article; zbMATH DE number 4094830 (Why is no real title available?)
• scientific article; zbMATH DE number 44486 (Why is no real title available?)
• scientific article; zbMATH DE number 107927 (Why is no real title available?)
• scientific article; zbMATH DE number 177439 (Why is no real title available?)
• scientific article; zbMATH DE number 2087510 (Why is no real title available?)
• A formal definition of hierarchical predicate transition nets
• Advances in Petri nets 1993. APN 93
• Algebraic high-level net transformation systems
• Petri nets are monoids
• Rule-based refinement of Petri nets: A survey

Cited in

(7)

• Conceptual building blocks for modeling reconfiguration of component-based systems using Petri nets
• scientific article; zbMATH DE number 1216237 (Why is no real title available?)
• scientific article; zbMATH DE number 2155180 (Why is no real title available?)
• Towards a Standard for Modular Petri Nets: A Formalisation
• Software engineering with Petri nets: a web service and agent perspective
• Integration of categorical frameworks: Rule-based refinement and hierarchical composition for components
• Lifted structural invariant analysis of Petri net product lines

This page was built for publication: Petri net modules in the transformation-based component framework

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2369035)