For the most recent entries see the Petri Nets Newsletter.

An Environment for Requirements Specification and Analysis of Real-time Software Based on Timed Petri Nets.

Bologna, S.; Pisacane, F.; Ghezzi, G.; Mandrioli, D.

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.

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

Back to the Petri Nets Bibliography