Composition of software artifacts modelled using colored Petri nets

DOI10.1016/J.SCICO.2004.11.011zbMath1101.68707OpenAlexW2049036920MaRDI QIDQ2485114

Angelo Perkusich, Leandro Dias da Silva

Publication date: 3 August 2005

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.scico.2004.11.011

zbMATH Keywords

Model checkingAssume-guarantee reasoningComponent-based software developmentHierarchical Colored Petri nets

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: Composition of software artifacts modelled using colored Petri nets