A train control system case study in model-based real time system design

This publication has 10 references indexed in Scilit:

• Discrete time stochastic petri nets for modeling and evaluation of real-time systems
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2005
• Analysis of deterministic and stochastic Petri nets
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Verification of a Radio-Based Signaling System Using the STATEMATE Verification Environment
  Formal Methods in System Design, 2001
• Petri Net Modelling and Performability Evaluation with TimeNET 3.0
  Published by Springer Nature ,2000
• A Systematic Approach to the Petri Net Based Specification of Concurrent Systems
  Real-Time Systems, 1997
• Compositional validation of time-critical systems using communicating time Petri nets
  IEEE Transactions on Software Engineering, 1995
• A characterization of the stochastic process underlying a stochastic Petri net
  IEEE Transactions on Software Engineering, 1994
• A unified high-level Petri net formalism for time-critical systems
  IEEE Transactions on Software Engineering, 1991
• Petri nets: Properties, analysis and applications
  Proceedings of the IEEE, 1989
• On Petri nets with deterministic and exponentially distributed firing times
  Published by Springer Nature ,1987