In: MIMI'90, Computer Applications in Design, Simulation and Analysis. Proceedings of the ISMM International Symposium, 1990, New Orleans, USA, pages 216-219. 1990.
Abstract: A model for the specification and analysis of Real-Time Concurrent Systems (RTCS) is proposed. The model is based on a modified form of Petri net, and enables one to represent both the structure and the behavior of a RTCS. By tracing the evolution of the net in response to given inputs, various performance parameters are obtained. A discrete-event based approach is utilized to simulate the performance of the given system.
Keywords: real-time concurrent system; performance parameter; performance simulation; deadlock.