%0 Journal Article %1 journals/topnoc/RussellAH09 %A Russell, Nick C. %A van der Aalst, Wil M. P. %A ter Hofstede, Arthur H. M. %B Trans. Petri Nets and Other Models of Concurrency %D 2009 %E Jensen, Kurt %E Billington, Jonathan %E Koutny, Maciej %I Springer %J Trans. Petri Nets Other Model. Concurr. %K dblp %P 1-24 %T Designing a Workflow System Using Coloured Petri Nets. %U http://dblp.uni-trier.de/db/journals/topnoc/topnoc3.html#RussellAH09 %V 3 %@ 978-3-642-04854-8

@article{journals/topnoc/RussellAH09, added-at = {2020-03-13T00:00:00.000+0100}, author = {Russell, Nick C. and van der Aalst, Wil M. P. and ter Hofstede, Arthur H. M.}, biburl = {https://www.bibsonomy.org/bibtex/2eb848cdb6bac7eff0cbf47932f45f9fc/dblp}, booktitle = {Trans. Petri Nets and Other Models of Concurrency}, crossref = {journals/topnoc/2009-3}, editor = {Jensen, Kurt and Billington, Jonathan and Koutny, Maciej}, ee = {https://www.wikidata.org/entity/Q57005477}, interhash = {e63da52fa922e3107a8b5383dc353dfa}, intrahash = {eb848cdb6bac7eff0cbf47932f45f9fc}, isbn = {978-3-642-04854-8}, journal = {Trans. Petri Nets Other Model. Concurr.}, keywords = {dblp}, pages = {1-24}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-03-14T12:18:24.000+0100}, title = {Designing a Workflow System Using Coloured Petri Nets.}, url = {http://dblp.uni-trier.de/db/journals/topnoc/topnoc3.html#RussellAH09}, volume = 3, year = 2009 }