A Formal Model for SDL Specifications Based on Timed Rewriting Logic
Automated Software Engineering
Model Checking of Time Petri Nets Based on Partial Order Semantics
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
A Compositional Petri Net Semantics for SDL
ICATPN '98 Proceedings of the 19th International Conference on Application and Theory of Petri Nets
Computing a Finite Prefix of a Time Petri Net
ICATPN '02 Proceedings of the 23rd International Conference on Applications and Theory of Petri Nets
Hi-index | 0.00 |