Control Interpreted Petri Nets - Model Checking and Synthesis - Grobelna, Iwona (IntechOpen, 2012)
None