Evolving System’s Modeling and Simulation through Reflective Petri Nets

Lorenzo Capra, Walter Cazzola

2009

Abstract

The design of dynamic discrete-event systems calls for adequate modeling formalisms and tools to manage possible changes occurring during system's lifecycle. A common approach is to pollute design with details that do not regard the current system behavior rather its evolution. That hampers analysis, reuse and maintenance in general. A reflective Petri net model (based on classical Petri nets) was recently proposed to support dynamic discrete-event system's design, and was applied to dynamic workflow's management. Behind there is the idea that keeping functional aspects separated from evolutionary ones and applying them to the (current) system only when necessary, results in a simple formal model on which the ability of verifying properties typical of Petri nets is preserved. In this paper we provide the reflective Petri nets with a (labeled) state-transition graph semantics.

Paper Citation

in Harvard Style

Capra L. and Cazzola W. (2009). Evolving System’s Modeling and Simulation through Reflective Petri Nets . In Proceedings of the 4th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE, ISBN 978-989-811-98-2, pages 59-70. DOI: 10.5220/0001955300590070

in Bibtex Style

@conference{enase09,
author={Lorenzo Capra and Walter Cazzola},
title={Evolving System’s Modeling and Simulation through Reflective Petri Nets},
booktitle={Proceedings of the 4th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE,},
year={2009},
pages={59-70},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0001955300590070},
isbn={978-989-811-98-2},
}

in EndNote Style

TY - CONF
JO - Proceedings of the 4th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE,
TI - Evolving System’s Modeling and Simulation through Reflective Petri Nets
SN - 978-989-811-98-2
AU - Capra L.
AU - Cazzola W.
PY - 2009
SP - 59
EP - 70
DO - 10.5220/0001955300590070