A Dynamic Approach to Timed Behaviour

This publication has 9 references indexed in Scilit:

• A generalized event structure for the Muller unfolding of a safe net
  Published by Springer Nature ,1993
• Verifying clock schedules
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1992
• Eigenvalues of dynamic max-min systems
  Discrete Event Dynamic Systems, 1991
• Ergodicity and throughput bounds of Petri nets with unique consistent firing count vector
  IEEE Transactions on Software Engineering, 1991
• Formal Techniques in Real-Time and Fault-Tolerant Systems
  Published by Springer Nature ,1991
• Performance Analysis and Optimization of Asynchronous Circuits
  Published by Defense Technical Information Center (DTIC) ,1990
• Properties of Conflict-Free and Persistent Petri Nets
  Journal of the ACM, 1978
• A fundamental theorem of asynchronous parallel computation
  Published by Springer Nature ,1975
• Describing Industrial Processes with Interference and Approximating Their Steady-State Behaviour
  Journal of the Operational Research Society, 1962