Harngdar A. Lu

• Modeling and analysis of concurrent processing systems by temporal petri nets