Keyword: real-time system

• Yu, Huiqun; He, Xudong; Deng, Yi; Mo, Lian:
  Formal Analysis of Real-Time Systems with SAM. 2002.

• Xuandong, Li:
  Verifying time petri nets by linear programming. 2001.

• Yoneda, T.; Kondo, Y.; Tohma, Y.:
  On the Acceleration of Timing Verification Method Based on Time Petri Nets. 1991.

• Baldassari, Marco; Bruno, Giorgio:
  A Methodology and Environment for the Object Oriented Analysis and Design of Real Time Systems. 1990.

• Espinosa, A.; Garcia-Fornes, A.; Crespo, A.; de la Puente, J.A.:
  QUISAP: an Environment for Rapid Prototyping of Real-Time Systems. 1990.

• Fahmy, Hossam Mahmoud Ahmad:
  Timed Petri Nets: Probabilistic Selection of Data Dependent Paths. 1990.

• Morasca, S.; Pezzè, M.:
  Using High-Level Petri Nets for Testing Concurrent and Real-Time Systems. 1990.

• Szczerbicka, H.:
  Modellbildung von Rechnersystemen. 1990.

• Sagoo, J.S.:
  The Specification and Design of Hard Real-Time Systems Using Timed and Temporal Petri Nets. 1990.

• Peters, Lawrence:
  Timing Extensions to Structured Analysis for Real Time Systems. 1989.

Back to the Petri Nets Bibliography