A Petri-Net Based Reflective Framework for the Evolution of Dynamic Systems-Reference-Cited by-同舟云学术

A Petri-Net Based Reflective Framework for the Evolution of Dynamic Systems

Published:2006-05 Issue: Volume:159 Page:41-59
ISSN:1571-0661
Container-title:Electronic Notes in Theoretical Computer Science
language:en
Short-container-title:Electronic Notes in Theoretical Computer Science

Author:

Capra Lorenzo,Cazzola Walter

Publisher

Elsevier BV

Subject

General Computer Science,Theoretical Computer Science

Reference9 articles.

1. Implementing Compositionality for Stochastic Petri Nets;Bernardi;Journal of Software Tools for Technology Transfer,2001

2. CLOS in Context - The Shape of the Design Space;Bobrow,1993

3. A High Level Language for Structural Relations in Well-Formed Nets;Capra,2005

4. Cazzola, W., A. Ghoneim and G. Saake, System Evolution through Design Information Evolution: a Case Study, in: W. Dosch and N. Debnath, editors, Proceedings of the 13th International Conference on Intelligent and Adaptive Systems and Software Engineering (IASSE 2004) (2004), pp. 145–150

5. Chiola, G., C. Dutheillet, G. Franceschinis and S. Haddad, On Well-Formed Coloured Nets and Their Symbolic Reachability Graph, in: Proceedings of the 11th International Conference on Application and Theory of Petri Nets,, Paris, France, 1990, pp. 387–410

Cited by 8 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A Maude Formalization of Object Nets;Lecture Notes in Computer Science;2023

2. Formal specification and verification of decentralized self-adaptive systems using symmetric nets;Discrete Event Dynamic Systems;2021-08-05

3. A high-level petri net-based formal model of distributed self-adaptive systems;Proceedings of the 12th European Conference on Software Architecture: Companion Proceedings;2018-09-24

4. A Symmetric Nets Emulator for Adaptive P/T Nets;2018 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC);2018-09

5. Towards Evolving Petri Nets: a Symmetric Nets-based Framework;IFAC-PapersOnLine;2018