Title :
Non equivalence between time Petri nets and time stream Petri nets
Author :
Boyer, Marc ; Diaz, Michel
Author_Institution :
Lab. d´´Autom. et d´´Anal. des Syst., CNRS, Toulouse, France
Abstract :
It had been shown that Merlin´s Time Petri Nets are a special case of Time Stream Petri Nets. In this paper, we show that there does not exist a time equivalence between both models. We extend first this result to the non equivalence of Timed Automata and Time Petri Nets and second to the non equivalence of Timed Link Petri Net and Timed Transition Petri Net
Keywords :
Petri nets; automata theory; equivalence classes; Timed Automata; Timed Link Petri Net; Timed Transition Petri Net; equivalence; non equivalence; time Petri nets; time stream Petri nets; Algebra; Automata; Computer science; Fires; Logic functions; Petri nets; Timing;
Conference_Titel :
Petri Nets and Performance Models, 1999. Proceedings. The 8th International Workshop on
Conference_Location :
Zaragoza
Print_ISBN :
0-7695-0331-4
DOI :
10.1109/PNPM.1999.796566
