Keyword: real-time systems

• Sherif, Adnan; Sampaio, Augusto; Cavalcante, Sérgio:
  Specification and Validation of the SACI-1 On-Board Computer Using Timed-CSP-Z and Petri Nets. 2003.

• Xu, Dianxiang; He, Xudong; Deng, Yi:
  Schedulability Analysis of Real-Time Systems Using Time Petri Nets. 2002.

• Yamamoto, Mitsuharu; Cottin, Jean-Marie; Hagiya, Masami:
  Decidability of Safety Properties of Timed Multiset Rewriting. 2002.

• Yamamoto, Mitsuharu; Cottin, Jean-Marie; Hagiya, Masami:
  Decidability of Safety Properties of Timed Multiset Rewriting. 2002.

• Petrucci, L.; Kristensen, L. M.; Billington, J.; Qureshi, Z. H.:
  Towards Formal Specification and Analysis of Avionics Mission Systems. 2002.

• Naedele, Martin:
  An approach to modeling and evaluation of functional and timing specifications of real-time systems. 2001.

• Lia, Xuandong; Lilius, Johan:
  Efficient verification of a class of time Petri nets using linear programming. 2001.

• Capek, J.; Hanzalek, Z.:
  STPN model of physical and MAC layer of LonWorks. 2000.

• Gurovic, D.; Fengler, W.; Nützel, J.:
  Development of real-time system specifications through the refinement of duration interval Petri nets. 2000.

• Lin, J.-C.; Ho, I.:
  A new perspective on formal testing method for real-time software. 2000.

• Uzam, M.; Jones, A.H.; Yacel, I.:
  Using a Petri net based approach for the real-time supervisory control of an experimental manufacturing system. 2000.

• Wang, J.; Deng, Y.; Xu, G.:
  Reachability analysis of real-time systems using time Petri nets. 2000.

• Ho, I.; Lin, J.-C.:
  Generating timed test cases by decomposition of time Petri nets model for testing real-time systems. 1999.

• Koriem, S.M.:
  R-nets for the performance evaluation of hard real-time systems. 1999.

• Lin, E.Y.-T.; Zhou, C.:
  Modeling and analysis of message passing in distributed manufacturing systems. 1999.

• Yoneda, T.; Zhou, B.; Schlingloff, B.-H.:
  Verification of bounded delay asynchronous circuits with timed traces. 1999.

• Suraj, Zbigniew:
  Rough Set Methods for the Synthesis and Analysis of Concurrent Processes. 1999.

• Wang, Jiacun; Deng, Yi:
  Incremental modeling and verification of flexible manufacturing systems. 1999.

• Chang, N.; Kwon, W.H.; Park, J.:
  Hardware implementation of real-time Petri-net-based controllers. 1998.

• Cukic, B.; Ammar, H.H.; Lateef, K.:
  Identifying high-risk scenarios of complex systems using input domain partitioning. 1998.

• Deng, Y.; Wang, J.:
  Integrated architectural modeling and analysis for high-assurance command and control system design. 1998.

• Laupera, F.G.; Lasquo, M.M.; Laupera, M.B.:
  An algebraic approach to model complex sequencing problems. 1998.

• Richter, Gernot:
  Counting Interfaces for Discrete Time Modeling. 1998.

• Benzina, A.; Paludetto, M.; Delatour, J.:
  About the suitability of Petri nets for describing, validating and evaluating SA-RT specifications. 1997.

• Deng, Y.; Lu, S.; Evangelist, M.:
  A formal approach for architectural modeling and prototyping of distributed real-time systems. 1997.

• Toussaint, J.; Simonot-Lion, F.; Thomesse, J.-P.:
  Time constraints verification method based on time Petri nets. 1997.

• Virbitskaite, I.B.; Pokozy, E.A.:
  Parametric behavior analysis for time Petri nets. 1997.

• Gerogiannis, Vasilis C.; Kameas, Achilles D.; Pintelas, Panayatis E.:
  Real-MFG: a Petri net based model focusing on the integration of schedulability and fault tolerance. 1997.

• Bax, M.; Giambiasi, N.:
  Modeling and simulating temporal constraints in OPenRT. 1996.

• Frydman, C.; Torres, L.; Giambiasi, N.:
  Building executable models from expert conceptual models. 1996.

• Kelling, C.; Hommel, G.:
  Rare event simulation with an adaptive `RESTSRT' method in a Petri net modeling environment. 1996.

• Tsai, J.J.P.; Yang, S.J.; Chang, Y.-H.; Juan, E.Y.T.:
  Verifying timing properties for distributed real-time systems using timing constraint Petri nets. 1996.

• Pettit, Robert G.; Gomaa, Hassan:
  Integrating Petri Nets with Design Methods for Concurrent and Real-Time Systems. 1996.

• Birkinshaw, C.I.; Croll, P.R.:
  Modeling the client/server behavior of parallel real-time systems using Petri nets. 1995.

• Constantinescu, C.; Trivedi, K.:
  Dependability modeling of real-time systems using stochastic Petri nets. 1995.

• Okawa, Y.; Yoneda, T.:
  Verification of schedulability of real-time systems with extended time Petri nets. 1995.

• Juanole, G.; Atamna, Y.; Carmo, R.L.R.:
  On the stochastic timed Petri nets model and its application to the DQDB protocol. 1994.

• Tawegoum, R.; Castelain, E.; Gentina, J.C.:
  Real-time piloting of flexible manufacturing systems. 1994.

• Felder, M.; Mandrioli, D.; Morzenti, A.:
  Proving Properties of Real-Time Systems Through Logical Specifications and Petri Net Models. 1994.

• Shallof, A.; Bennett, S.:
  Comments on "Performability Analysis of Distributed Real-Time-Systems". 1994.

• Oberweis, A.:
  Modellierung und Validierung von Exception-Handling-Mechanismen für Realzeitsysteme. 1990.

• Pulli, P.J.:
  Real-Time Pattern Matching Technique for Executable SA/RT Specifications. 1990.

• Pulli, P.J.:
  Pattern-Directed Real-Time Execution of SA/RT Specifications. 1989.

Back to the Petri Nets Bibliography