Login / Signup
Translation validation of coloured Petri net models of programs on integers.
Soumyadip Bandyopadhyay
Dipankar Sarkar
Chittaranjan A. Mandal
Holger Giese
Published in:
Acta Informatica (2022)
Keyphrases
</>
petri net
stochastic petri net
embedded real time systems
artificial intelligence
machine learning
process model
neural network
learning process
discrete event systems
reactive systems
petri net model
fuzzy petri net