Petri-Net Methods for Reasoning in Real-Time Control Systems.

Tadao Murata, Jaegeol Yim

Browse the full ISCAS paper archive.