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.

References

  1. Ajmone Marsan, M., Conte, G., Balbo, G., 1984. A Class of Generalized Stochastic Petri Nets for the Performance Evaluation of Multiprocessor Systems, ACM Transaction on Computer Systems, bf 2, (2): 93-122.
  2. Capra, L., Cazzola, W., 2007a. A Reflective PN-based Approach to Dynamic Workflow Change, Proceedings of the 9th International Symposium in Symbolic and Numeric Algorithms for Scientific Computing (SYNASC'07), IEEE, Timis¸oara, Romania, pp. 533-540.
  3. Capra, L., Cazzola, W., 2007b. Self-Evolving Petri Nets, Journal of Universal Computer Science, 13, (13): 2002-2034.
  4. Capra, L., Cazzola, W., 2008. Evolutionary Design through Reflective Petri Nets: an Application to Workflow, Proceedings of the IASTED International Conference on Software Engineering (SE'08), Innsbruck, Aut.
  5. Chiola, G., Dutheillet, C., Franceschinis, G., Haddad, S., 1993. Stochastic Well-Formed Coloured Nets for Symmetric Modelling Applications, IEEE Transactions on Computers, 42, (11): 1343-1360.
  6. Chiola, G., Dutheillet, C., Franceschinis, G., Haddad, S., 1997. A Symbolic Reachability Graph for Coloured Petri Nets, Theoretical Computer Science B (Logic, Semantics and Theory of Programming), 176, (1& 2): 39-65.
  7. Chiola, G., Franceschinis, G., Gaeta, R., Ribaudo, M., 1995. GreatSPN 1.7: GRaphical Editor and Analyzer for Timed and Stochastic Petri Nets, Performance Evaluation, 24, (1- 2): 47-68.
  8. Jensen, K., Rozenberg, G. (eds), 1991. High-Level Petri Nets: Theory and Applications, Springer-Verlag.
  9. Qiu, Z.-M., Wong, Y. S., 2007? Dynamic Workflow Change in PDM Systems, Computers in Industry, 58, (5): 453-463.
  10. Reisig, W., 1985. Petri Nets: An Introduction, Vol. 4 of EATCS Monographs on Theoretical Computer Science, Springer.
  11. Sibertin-Blanc, C., 2001. The Hurried Philosophers, in G. Agha, F. De Cindio, G. Rozenberg (eds), Concurrent Object-Oriented Programming and Petri Nets, Advances in Petri Nets, LNCS 2001, Springer, pp. 536-538.
  12. van der Aalst, W. M. P., Basten, T., 2002. Inheritance of Workflows: An Approach to Tackling Problems Related to Change, Theoretical Computer Science, 270,(1-2): 125-203.
Download


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