Login / Signup
Coloured Petri Nets.
Kurt Jensen
Published in:
Advances in Petri Nets (1986)
Keyphrases
</>
coloured petri nets
formal verification
model checking