A Unified High-level Petri Net Model for Time Critical Systems