In: Ehrenberger, W.D.: Safety of Computer Control Systems 1988 (SAFECOMP'88): Safety Related Computers in an Expanding Market. Proceedings of the IFAC Symposium, pages 7-10. Pergamon, Oxford, UK, 1988.
Abstract: EEPN (Enea Extended Petri Nets) is a prototyping environment for real-time process control system requirements specification. Its major components are: specification model based on Extended Petri Nets, a graphical editor for net construction and a simulator with animation support.