Generalizing the Compositions of Petri Nets Modules

DOI10.3233/FI-2015-1171zbMath1335.68176OpenAlexW1549042655MaRDI QIDQ2805421

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

modularityhigh-level Petri netsstandardizationcomposition mechanismLLAMASsystem design and verification

Mathematics Subject Classification ID

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

This page was built for publication: Generalizing the Compositions of Petri Nets Modules