Login / Signup
Morphisms of Coloured Petri Nets
Joachim Wehler
Published in:
CoRR (2006)
Keyphrases
</>
coloured petri nets
formal verification