Sign in

Symbolic Analysis and Parameter Synthesis for Time Petri Nets Using Maude and SMT Solving.

Jaime AriasKyungmin BaeCarlos OlartePeter Csaba ÖlveczkyLaure PetrucciFredrik Rømming
Published in: CoRR (2023)
Keyphrases
  • petri net
  • colored petri nets
  • neural network
  • data analysis
  • distributed systems
  • complex systems
  • dynamical systems
  • petri net model