Fast Bounds for Stochastic Petri Nets

A CAD tool for stochastic Petri nets

ACM '86 Proceedings of 1986 ACM Fall joint computer conference

On the Performance of Synchronized Programs in Distributed Networks with Random Processing Times and Transmission Delays

IEEE Transactions on Parallel and Distributed Systems

Stability analysis of buffer priority scheduling policies using Petri nets

Journal of Computer Science and Technology

Static Analysis of Concurrent Programs Using Ordinary Differential Equations

ICTAC '09 Proceedings of the 6th International Colloquium on Theoretical Aspects of Computing

An Improvement of Software Architecture Verification

Electronic Notes in Theoretical Computer Science (ENTCS)