A LOTOS extension for the performance analysis of distributed systems
IEEE/ACM Transactions on Networking (TON)
Extended timing diagrams as a specification language
EURO-DAC '94 Proceedings of the conference on European design automation
Evaluating Performance from Formal Specification
MASCOTS '96 Proceedings of the 4th International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunications Systems
A translation of TPALp into a class of timed-probabilistic Petri nets
Theoretical Computer Science
Decidability of properties of timed-arc Petri nets
ICATPN'00 Proceedings of the 21st international conference on Application and theory of petri nets
| Hi-index | 0.00 |