Login / Signup
Reversing Computations Modelled by Coloured Petri Nets.
Kamila Barylska
Anna Gogolinska
Lukasz Mikulski
Anna Philippou
Marcin Piatkowski
Kyriaki Psara
Published in:
ATAED@Petri Nets/ACSD (2018)
Keyphrases
</>
coloured petri nets
formal verification
data sets
neural network
image processing
multi agent
image classification
maximum likelihood