Title: Modeling and analysis of concurrent processing systems by temporal petri nets