C
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 Arias
Kyungmin Bae
Carlos Olarte
Peter Csaba Ölveczky
Laure Petrucci
Fredrik 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