1. A Petri net-based schedulability analyzer for hard real-time distributed computing systems;Balaji,1991
2. Workload redistribution for fault-tolerance in a hard real-time distributed computing system;Balaji,1989
3. Reliability analysis of non-repairable systems using stochastic Petri nets;Barkaoui,1988
4. Extensions to coloured Petri nets;Billington,1989
5. Simulations of a fault-tolerant deadline mechanism;Campbell,1979