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.
Translating TPAL Specifications into Timed-Arc Petri Nets [link]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