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.