Sign in

A rewriting-logic-with-SMT-based formal analysis and parameter synthesis framework for parametric time Petri nets.

Jaime AriasKyungmin BaeCarlos OlartePeter Csaba ÖlveczkyLaure Petrucci
Published in: CoRR (2024)
Keyphrases
  • petri net
  • formal analysis
  • petri net model
  • colored petri nets
  • control system
  • process model
  • programmable logic controller
  • knowledge base
  • multi agent systems
  • computer systems
  • discrete event systems