For the most recent entries see the Petri Nets Newsletter.

Comparing timed C/E systems with timed automata.

Huuck, R.; Lakhnech, Y.; Urbina, L.; Engell, S.; Kowalewski, S.; Preussig, J.

In: Lecture Notes in Computer Science, Vol. 1201: Hybrid and Real-Time Systems, pages 81-86. Springer-Verlag, 1997.

Abstract: The paper investigates the relationship between timed C/E systems and timed automata. It provides an effective function that associates each timed C/E system with a timed automaton. Equivalence has to be understood as describing the same set of trajectories. A benefit from providing such a function is that analysis tools developed for timed automata can now be applied to analysis of timed C/E systems. An effective function that translates each timed automaton into an equivalent C/E system is also provided.

Keywords: time C/E systems, timed automata.

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

Back to the Petri Nets Bibliography