Nr. 547 (2000): PB-547 Practical Use of High-level Petri Nets

Publiceret: 2000-06-01