A Concurrency-Preserving Translation from Time Petri Nets to Networks of Timed Automata Sandie Balaguer, Thomas Chatain, Stefan Haar LSV – ENS Cachan, INRIA, CNRS – France - Sandie - Document - PDFSEARCH.IO

First Page	Meta Content
	A Concurrency-Preserving Translation from Time Petri Nets to Networks of Timed Automata Sandie Balaguer, Thomas Chatain, Stefan Haar LSV – ENS Cachan, INRIA, CNRS – France Add to Reading List Document Date: 2011-01-31 10:48:50 Open Document File Size: 403,64 KB Share Result on Facebook Company NTA Conclusion Networks / / IndustryTerm verification tools / / Person Stefan Haar / Sandie Balaguer / Thomas Chatain / / Position guard / / SocialTag Petri net Formal language Computer science Mathematics Applied mathematics Models of computation Concurrency Diagrams

A Concurrency-Preserving Translation from Time Petri Nets to Networks of Timed Automata Sandie Balaguer, Thomas Chatain, Stefan Haar LSV – ENS Cachan, INRIA, CNRS – FranceAdd to Reading List