For the most recent entries see the Petri Nets Newsletter.

Towards a Model for Concurrent Real-Time Systems.

Chowdhury, M.F.; Manwaring, M.L.

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.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography