Translating TPAL Specifications into Timed-Arc Petri Nets. Ruiz, V. V., Pardo, J. J., & Cuartero, F. In Applications and Theory of Petri Nets 2002, 23rd International Conference, ICATPN 2002, Adelaide, Australia, June 24-30, 2002, Proceedings, pages 414--433, 2002.
Paper doi bibtex @inproceedings{DBLP:conf/apn/RuizPC02,
author = {Valent{\'{\i}}n Valero Ruiz and
Juan Jos{\'{e}} Pardo and
Fernando Cuartero},
title = {Translating {TPAL} Specifications into Timed-Arc Petri Nets},
booktitle = {Applications and Theory of Petri Nets 2002, 23rd International Conference,
{ICATPN} 2002, Adelaide, Australia, June 24-30, 2002, Proceedings},
pages = {414--433},
year = {2002},
crossref = {DBLP:conf/apn/2002},
url = {https://doi.org/10.1007/3-540-48068-4_24},
doi = {10.1007/3-540-48068-4_24},
timestamp = {Fri, 26 May 2017 14:09:14 +0200},
biburl = {http://dblp.org/rec/bib/conf/apn/RuizPC02},
bibsource = {dblp computer science bibliography, http://dblp.org}
}
Downloads: 0
{"_id":"XyF6PP2Ss39tvBWbQ","bibbaseid":"ruiz-pardo-cuartero-translatingtpalspecificationsintotimedarcpetrinets-2002","downloads":0,"creationDate":"2017-11-08T09:52:20.032Z","title":"Translating TPAL Specifications into Timed-Arc Petri Nets","author_short":["Ruiz, V. V.","Pardo, J. J.","Cuartero, F."],"year":2002,"bibtype":"inproceedings","biburl":"http://dblp.org/pers/tb2/c/Cuartero:Fernando","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Valentín","Valero"],"propositions":[],"lastnames":["Ruiz"],"suffixes":[]},{"firstnames":["Juan","José"],"propositions":[],"lastnames":["Pardo"],"suffixes":[]},{"firstnames":["Fernando"],"propositions":[],"lastnames":["Cuartero"],"suffixes":[]}],"title":"Translating TPAL Specifications into Timed-Arc Petri Nets","booktitle":"Applications and Theory of Petri Nets 2002, 23rd International Conference, ICATPN 2002, Adelaide, Australia, June 24-30, 2002, Proceedings","pages":"414--433","year":"2002","crossref":"DBLP:conf/apn/2002","url":"https://doi.org/10.1007/3-540-48068-4_24","doi":"10.1007/3-540-48068-4_24","timestamp":"Fri, 26 May 2017 14:09:14 +0200","biburl":"http://dblp.org/rec/bib/conf/apn/RuizPC02","bibsource":"dblp computer science bibliography, http://dblp.org","bibtex":"@inproceedings{DBLP:conf/apn/RuizPC02,\n author = {Valent{\\'{\\i}}n Valero Ruiz and\n Juan Jos{\\'{e}} Pardo and\n Fernando Cuartero},\n title = {Translating {TPAL} Specifications into Timed-Arc Petri Nets},\n booktitle = {Applications and Theory of Petri Nets 2002, 23rd International Conference,\n {ICATPN} 2002, Adelaide, Australia, June 24-30, 2002, Proceedings},\n pages = {414--433},\n year = {2002},\n crossref = {DBLP:conf/apn/2002},\n url = {https://doi.org/10.1007/3-540-48068-4_24},\n doi = {10.1007/3-540-48068-4_24},\n timestamp = {Fri, 26 May 2017 14:09:14 +0200},\n biburl = {http://dblp.org/rec/bib/conf/apn/RuizPC02},\n bibsource = {dblp computer science bibliography, http://dblp.org}\n}\n\n","author_short":["Ruiz, V. V.","Pardo, J. J.","Cuartero, F."],"key":"DBLP:conf/apn/RuizPC02","id":"DBLP:conf/apn/RuizPC02","bibbaseid":"ruiz-pardo-cuartero-translatingtpalspecificationsintotimedarcpetrinets-2002","role":"author","urls":{"Paper":"https://doi.org/10.1007/3-540-48068-4_24"},"downloads":0},"search_terms":["translating","tpal","specifications","timed","arc","petri","nets","ruiz","pardo","cuartero"],"keywords":[],"authorIDs":[],"dataSources":["X6hizZFtb73ScJTEf"]}