Applications and Theory of Petri Nets 2005

DOI10.1007/B136988MaRDI QIDQ5713499zbMATHOpenAlexFDO

Authors Lawrence Cabac, Michael Duvigneau, Daniel Moldt, Heiko Rölke

Publication date 14 December 2005

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b136988

zbMATH Keywords

modelingcomponentsplug-insreference netsdynamic software architectureHigh-level Petri netsNets-within-netsRenew

Mathematics Subject Classification ID

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

Recommendations

• A modeling approach to dynamic software architecture
• scientific article; zbMATH DE number 2197691
• Modelling dynamic software architectures using typed graph grammars
• Graph-Based Design and Analysis of Dynamic Software Architectures
• Models of software architecture. Design and analysis with UML and Petri nets

Cited in

(9)

• Formal specification and verification of decentralized self-adaptive systems using symmetric nets
• Software engineering with Petri nets: a web service and agent perspective
• scientific article; zbMATH DE number 2197691 (Why is no real title available?)
• Canonization of reconfigurable PT nets in \texttt{Maude}
• Hierarchical Set Decision Diagrams and Automatic Saturation
• A modeling approach to dynamic software architecture
• Renew
• With a little help: a modeling environment for self-modeling network models
• Modular rewritable Petri nets: an efficient model for dynamic distributed systems

This page was built for publication: Applications and Theory of Petri Nets 2005

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