Coloured Petri Nets || Formal Definition
β
Jensen, Kurt; Kristensen, Lars M.
π
Article
π
2009
π
Springer Berlin Heidelberg
β 175 KB