Generalizing the compositions of Petri nets modules

DOI10.3233/FI-2015-1171MaRDI QIDQ2805421zbMATH OpenOpenAlexFDO

Authors Alexis Marechal, Didier Buchs

Publication date 11 May 2016

Published in Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL https://doi.org/10.3233/fi-2015-1171

zbMATH Keywords

composition mechanismhigh-level Petri netsLLAMASmodularitystandardizationsystem design and verification

Mathematics Subject Classification ID

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

Recommendations

• Unifying the semantics of modular extensions of Petri nets
• Towards a Standard for Modular Petri Nets: A Formalisation
• Modular Analysis of Petri Nets
• Formal Techniques for Networked and Distributed Systems - FORTE 2005
• Simple Composition of Nets

Cited in

(5)

• The ins and outs of Petri net composition
• Towards a Standard for Modular Petri Nets: A Formalisation
• scientific article; zbMATH DE number 1361124 (Why is no real title available?)
• Unifying the semantics of modular extensions of Petri nets
• Une nouvelle transformation des réseaux de Petri généralisés : L'abstraction généralisée

This page was built for publication: Generalizing the compositions of Petri nets modules

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