Carsten Rust, Jürgen Tacken, Carsten Böke. Pr/T-Net Based Seamless Design of Embedded Real-Time Systems. In José Manuel Colom, Maciej Koutny, editors, Application and Theory of Petri Nets 2001, 22nd International Conference, ICATPN 2001, Newcastle upon Tyne, UK, June 25-29, 2001, Proceedings. Volume 2075 of Lecture Notes in Computer Science, pages 343-362, Springer, 2001. [doi]
Abstract is missing.