1. Modular functional modelling of petri nets with individual tokens;Broy,1992
2. A simulator for distributed systems using g-nets;Chen,1992
3. Timing constraints of real-time systems: Constructs for expressing them, methods of validating them;Dasarathy;IEEE Transactions on Software Engineering,1985
4. Fault tolerance in real-time distributed systems using petri nets extension;de Figueiredo,1995
5. Timing analysis of real-time software systems using fuzzy time petri nets;de Figueiredo,1994