Login / Signup

A Maude Implementation of Rewritable Petri Nets: a Feasible Model for Dynamically Reconfigurable Systems.

Lorenzo Capra
Published in: AppFM@FM (2021)
Keyphrases
  • petri net
  • petri net model
  • discrete event systems
  • high level petri nets
  • complex systems
  • embedded real time systems
  • knowledge base
  • stochastic petri net