Development of real-time system specifications through the refinement of duration interval Petri nets

Daniel Gurovic, Wolfgang Fengler, Jürgen Nützel. Development of real-time system specifications through the refinement of duration interval Petri nets. In Proceedings of the IEEE International Conference on Systems, Man & Cybernetics: "Cybernetics Evolving to Systems, Humans, Organizations, and their Complex Interactions", Sheraton Music City Hotel, Nashville, Tennessee, USA, 8-11 October 2000. pages 3098-3103, IEEE, 2000. [doi]

Authors

Daniel Gurovic

This author has not been identified. Look up 'Daniel Gurovic' in Google

Wolfgang Fengler

This author has not been identified. Look up 'Wolfgang Fengler' in Google

Jürgen Nützel

This author has not been identified. Look up 'Jürgen Nützel' in Google