Applications and Theory of Petri Nets 2005
From MaRDI portal
Publication:5713499
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)