Ravi Kapadia
Dept. of CS, Vanderbilt University, Nashville, TN
A Unified High-Level Petri Net Formalism for Time-Critical Systems
IEEE Transactions on Software Engineering
Petri Net Theory and the Modeling of Systems