Control Interpreted Petri Nets - Model Checking and Synthesis [chapter]

Iwona Grobelna
2012 Petri Nets - Manufacturing and Computer Science  
doi:10.5772/47797 fatcat:ggtegcoakze5po56mgakchhrgm