@inproceedings{DBLP:conf/atva/CassezCJ06,
  author    = {Franck Cassez and
               Thomas Chatain and
               Claude Jard},
  editor    = {Susanne Graf and
               Wenhui Zhang},
  title     = {Symbolic Unfoldings for Networks of Timed Automata},
  booktitle = {Automated Technology for Verification and Analysis, 4th International
               Symposium, {ATVA} 2006, Beijing, China, October 23-26, 2006.},
  pages     = {307--321},
  year      = {2006},
          Type = {B - International Conferences},

  series    = {Lecture Notes in Computer Science},
  volume    = {4218},
  publisher = {Springer},
  urlpaper = {papers/unfolding-rr-06.pdf},
  urlslides = {papers/slides-atva-06.pdf},
  url_link       = {http://dx.doi.org/10.1007/11901914_24},
  doi       = {10.1007/11901914_24},
  abstract = {In this paper we give a symbolic concurrent semantics for network of timed automata (NTA) in terms of extended symbolic nets. Symbolic nets are standard occurrence nets extended with read arcs and symbolic constraints on places and transitions. We prove that there is a complete finite prefix for any NTA that contains at least the information of the simulation graph of the NTA but keep explicit the notions of concurrency and causality of the network.},
  keywords = {unfoldings, timed automata},
}


%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%% 2005
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

{"_id":"RMMWtxroeiK3dgSJf","bibbaseid":"cassez-chatain-jard-symbolicunfoldingsfornetworksoftimedautomata-2006","author_short":["Cassez, F.","Chatain, T.","Jard, C."],"bibdata":{"bibtype":"inproceedings","type":"B - International Conferences","author":[{"firstnames":["Franck"],"propositions":[],"lastnames":["Cassez"],"suffixes":[]},{"firstnames":["Thomas"],"propositions":[],"lastnames":["Chatain"],"suffixes":[]},{"firstnames":["Claude"],"propositions":[],"lastnames":["Jard"],"suffixes":[]}],"editor":[{"firstnames":["Susanne"],"propositions":[],"lastnames":["Graf"],"suffixes":[]},{"firstnames":["Wenhui"],"propositions":[],"lastnames":["Zhang"],"suffixes":[]}],"title":"Symbolic Unfoldings for Networks of Timed Automata","booktitle":"Automated Technology for Verification and Analysis, 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006.","pages":"307–321","year":"2006","series":"Lecture Notes in Computer Science","volume":"4218","publisher":"Springer","urlpaper":"papers/unfolding-rr-06.pdf","urlslides":"papers/slides-atva-06.pdf","url_link":"http://dx.doi.org/10.1007/11901914_24","doi":"10.1007/11901914_24","abstract":"In this paper we give a symbolic concurrent semantics for network of timed automata (NTA) in terms of extended symbolic nets. Symbolic nets are standard occurrence nets extended with read arcs and symbolic constraints on places and transitions. We prove that there is a complete finite prefix for any NTA that contains at least the information of the simulation graph of the NTA but keep explicit the notions of concurrency and causality of the network.","keywords":"unfoldings, timed automata","bibtex":"@inproceedings{DBLP:conf/atva/CassezCJ06,\n author = {Franck Cassez and\n Thomas Chatain and\n Claude Jard},\n editor = {Susanne Graf and\n Wenhui Zhang},\n title = {Symbolic Unfoldings for Networks of Timed Automata},\n booktitle = {Automated Technology for Verification and Analysis, 4th International\n Symposium, {ATVA} 2006, Beijing, China, October 23-26, 2006.},\n pages = {307--321},\n year = {2006},\n Type = {B - International Conferences},\n\n series = {Lecture Notes in Computer Science},\n volume = {4218},\n publisher = {Springer},\n urlpaper = {papers/unfolding-rr-06.pdf},\n urlslides = {papers/slides-atva-06.pdf},\n url_link = {http://dx.doi.org/10.1007/11901914_24},\n doi = {10.1007/11901914_24},\n abstract = {In this paper we give a symbolic concurrent semantics for network of timed automata (NTA) in terms of extended symbolic nets. Symbolic nets are standard occurrence nets extended with read arcs and symbolic constraints on places and transitions. We prove that there is a complete finite prefix for any NTA that contains at least the information of the simulation graph of the NTA but keep explicit the notions of concurrency and causality of the network.},\n keywords = {unfoldings, timed automata},\n}\n\n\n%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%\n%%% 2005\n%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%\n\n\n","author_short":["Cassez, F.","Chatain, T.","Jard, C."],"editor_short":["Graf, S.","Zhang, W."],"key":"DBLP:conf/atva/CassezCJ06","id":"DBLP:conf/atva/CassezCJ06","bibbaseid":"cassez-chatain-jard-symbolicunfoldingsfornetworksoftimedautomata-2006","role":"author","urls":{"Paper":"http://science.mq.edu.au/~fcassez/bib/papers/unfolding-rr-06.pdf","Slides":"http://science.mq.edu.au/~fcassez/bib/papers/slides-atva-06.pdf"," link":"http://dx.doi.org/10.1007/11901914_24"},"keyword":["unfoldings","timed automata"],"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"http://science.mq.edu.au/~fcassez/bib/franck-bib.bib","dataSources":["8742EsvjQfyP2fYBW","qbqYFWskmoonRB43F","yYF8uwWqay28JyxZC"],"keywords":["unfoldings","timed automata"],"search_terms":["symbolic","unfoldings","networks","timed","automata","cassez","chatain","jard"],"title":"Symbolic Unfoldings for Networks of Timed Automata","year":2006}