3 E. Teruel G. Franceschinis M. Pierro 1999 Clarifying the Priority Specification of GSPN Detached Priorities IEEE Computer Society Press 114-123