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

Published: 2000-06-01