• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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