Soundness of Timed-Arc Workflow Nets in Discrete and Continuous-Time Semantics

October 15, 2017 in by

by José Antonio Mateo, Jiří Srba, Mathias G. Sørensen
Reference:
José Antonio Mateo, Jiří Srba, Mathias G. Sørensen. Soundness of Timed-Arc Workflow Nets in Discrete and Continuous-Time Semantics. In Fundamenta Informaticae 140(1):89-121. IOS Press, July 2015.
Bibtex Entry:
@string{jul="July"}
@article{MSS-fi15,
  author =        {Mateo, Jos{'e} Antonio and Srba, Ji{v{r}}{'i} and
                   S{o}rensen, Mathias G.},
  journal =       {Fundamenta Informaticae},
  month =         jul,
  number =        {1},
  pages =         {89-121},
  publisher =     {IOS~Press},
  title =         {Soundness of Timed-Arc Workflow Nets in Discrete and
                   Continuous-Time Semantics},
  volume =        {140},
  year =          {2015},
  doi =           {10.3233/FI-2015-1246},
  url =           {http://www.cassting-project.eu/wp-content/uploads/
                  MSS-fi15.pdf},
  category =      {jour},
  wps =           {wp1},
  partners =      {AAU},
  casstingpart =  {100},
}