Login / Signup
Equivalence checking of Petri net models of programs using static and dynamic cut-points.
Soumyadip Bandyopadhyay
Dipankar Sarkar
Chittaranjan Mandal
Published in:
Acta Informatica (2019)
Keyphrases
</>
petri net
process model
discrete event systems
reactive systems
stochastic petri net
petri net model
complex systems
manufacturing systems
web service composition
high dimensional
ims ld
colored petri nets
fuzzy petri net
high level petri nets