Carsten Böke;Markus Hübel;Franz J. Ramming;Carsten Rust
-;-;-;-
Pr/T-Net Based Seamless Design of Embedded Real-Time Systems
ICATPN '01 Proceedings of the 22nd International Conference on Application and Theory of Petri Nets