AalstHHSVVW09'

BibTeX

@article{DBLP:journals/topnoc/AalstHHSVVW09,
  author    = {Wil M. P. van der Aalst and
               Kees M. van Hee and
               Arthur H. M. ter Hofstede and
               Natalia Sidorova and
               H. M. W. Verbeek and
               Marc Voorhoeve and
               Moe Thandar Wynn},
  title     = {Soundness of Workflow Nets with Reset Arcs},
  journal   = {T. Petri Nets and Other Models of Concurrency},
  volume    = {3},
  year      = {2009},
  pages     = {50-70},
  ee        = {http://dx.doi.org/10.1007/978-3-642-04856-2_3},
  crossref  = {DBLP:journals/topnoc/2009-3},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:journals/topnoc/2009-3,
  editor    = {Kurt Jensen and
               Jonathan Billington and
               Maciej Koutny},
  title     = {Transactions on Petri Nets and Other Models of Concurrency
               III},
  booktitle = {T. Petri Nets and Other Models of Concurrency},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {5800},
  year      = {2009},
  isbn      = {978-3-642-04854-8},
  ee        = {http://dx.doi.org/10.1007/978-3-642-04856-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}