Christoph Schneider6 and Joachim Wehler7
Keywords Coloured Petri net - Artin net - commutative net - flow - reachability - Gröbner theory
References secured to subscribers.