For the most recent entries see the Petri Nets Newsletter.

An Executable Specification Methodology: Its Application to Computer Integrated Manufacturing Systems.

Bruno, G.; Morisio, M.

In: IEEE Compsac'87, Proceedings of the Eleventh Annual International Computer Software and Applications Conference, Tokyo, pages 714-720. 1987.

Abstract: This paper presents a software engineering approach based on PROT nets (a high level extension to Petri nets) for modelling dynamical discrete event systems. This approach provides executable specification models, rapid prototyping facilities and discrete event simulation capabilities.

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

Back to the Petri Nets Bibliography