Necessary and sufficient liveness condition of GS 3 PR Petri nets
Liu, GaiYun, Barkaoui, KamelVolume:
46
Language:
english
Journal:
International Journal of Systems Science
DOI:
10.1080/00207721.2013.827257
Date:
May, 2015
File:
PDF, 868 KB
english, 2015