Login / Signup

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: Petri Nets (2023)
Keyphrases
  • petri net
  • colored petri nets
  • data analysis
  • manufacturing systems
  • neural network
  • computational intelligence
  • rough sets
  • service composition
  • fuzzy petri net