Report copyright - STUBBORN SETS FOR REDUCED STATE SPACE ......Petri nets, place/transition nets with infinite capacity of places, and coloured Petri nets. Keywords system verification, analysis of behaviour
Please pass captcha verification before submit form