OPNets: An object-oriented high-level Petri net model for real-time system modeling. - Yang Kyu Lee; Sung Joo Park (J. Syst. Softw., 1993)