Simplified proof of the blocking theorem for free-choice Petri nets
Joachim WehlerVolume:
76
Year:
2010
Language:
english
Pages:
6
DOI:
10.1016/j.jcss.2009.10.001
File:
PDF, 170 KB
english, 2010