A Symbolic Reachability Graph and Associated Markov Process for a Class of Dynamic Petri Nets

  • Authors:

  • Lorenzo Capra

  • Affiliations:

  • -

  • Venue:
  • MASCOTS '10 Proceedings of the 2010 IEEE International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems
  • Year:
  • 2010

Quantified Score

Hi-index 0.00

Visualization

Abstract

The design of evolving discrete-event systems needs for adequate modeling techniques. A Petri net-based reflective layout has been recently proposed to support dynamic discrete event system’s design. Keeping functional aspects separated from evolutionary ones, deploying changes to the (current) system configuration when necessary, results in a clean formal model preserving the ability of verifying properties typical of Petri nets. Reflective Petri nets are provided with a pseudo-symbolic state transition graph, and an associated lumped Markov process.