Supervision of Petri Nets

Bok av G. Stremersch