For the most recent entries see the Petri Nets Newsletter.

Modeling and Verification of Time Dependent Systems Using Time Petri Nets.

Berthomieu, B.; Diaz, M.

In: IEEE Transactions on Software Engineering, Vol. 17, No. 3, pages 259-273. March 1991.

Abstract: A description and analysis of concurrent systems, such as communication systems, whose behavior is dependent on explicit values of time is presented. An enumerative method is proposed in order to exhaustively validate the behavior of P. Merlin's time Petri net model (1974). This method allows formal verification of time-dependent systems. It is applied to the specification and verification of the alternating bit protocol as a simple illustrative example.

Keywords: (modeling and verification of) time dependent system(s); time net; communication system; alternating bit protocol.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography