{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,21]],"date-time":"2026-02-21T18:50:54Z","timestamp":1771699854529,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540403340","type":"print"},{"value":"9783540449195","type":"electronic"}],"license":[{"start":{"date-parts":[[2003,1,1]],"date-time":"2003-01-01T00:00:00Z","timestamp":1041379200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-44919-1_28","type":"book-chapter","created":{"date-parts":[[2007,9,3]],"date-time":"2007-09-03T00:38:42Z","timestamp":1188779922000},"page":"450-462","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":158,"title":["CPN Tools for Editing, Simulating, and Analysing Coloured Petri Nets"],"prefix":"10.1007","author":[{"given":"Anne Vinter","family":"Ratzer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lisa","family":"Wells","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Henry Michael","family":"Lassen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mads","family":"Laursen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jacob Frank","family":"Qvortrup","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin Stig","family":"Stissing","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Westergaard","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S\u00f8ren","family":"Christensen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kurt","family":"Jensen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2003,5,27]]},"reference":[{"key":"28_CR1","doi-asserted-by":"crossref","unstructured":"Jensen, K.: Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use, Volumes 1\u20133. Monographs in Theoretical Computer Science. Springer-Verlag (1992\u20131997)","DOI":"10.1007\/978-3-642-60794-3"},{"key":"28_CR2","doi-asserted-by":"publisher","first-page":"98","DOI":"10.1007\/s100090050021","volume":"2","author":"L.M. Kristensen","year":"1998","unstructured":"Kristensen, L.M., Christensen, S., Jensen, K.: The practitioner\u2019s guide to coloured Petri nets. International Journal on Software Tools for Technology Transfer 2 (1998) 98\u2013132","journal-title":"International Journal on Software Tools for Technology Transfer"},{"key":"28_CR3","unstructured":"Design\/CPN. Online: http:\/\/www.daimi.au.dk\/designCPN\/."},{"key":"28_CR4","unstructured":"Petri Nets Tool Database. Online: http:\/\/www.daimi.au.dk\/PetriNets\/tools\/db.html."},{"key":"28_CR5","unstructured":"CPN2000 Project. Online: http:\/\/www.daimi.au.dk\/CPnets\/CPN2000\/."},{"key":"28_CR6","unstructured":"Kurtenbach, G., Buxton, W.: User learning and performance with marking menus. In: Proceedings of Human Factors in Computing Systems, ACM (1994) 258\u2013264 CHI\u201994."},{"key":"28_CR7","unstructured":"Bier, E., Stone, M., Pier, K., Buxton, W., Rose, T.D.: Toolglass and magic lenses: the see-through interface. In: Proceedings of ACM SIGGRAPH, ACM Press (1993) 73\u201380"},{"key":"28_CR8","unstructured":"Standard ML of New Jersey. Online: http:\/\/cm.bell-labs.com\/cm\/cs\/what\/smlnj\/."},{"key":"28_CR9","volume-title":"Design\/CPN Occurrence Graph Manual","author":"K. Jensen","year":"1996","unstructured":"Jensen, K., Christensen, S., Kristensen, L.M.: Design\/CPN Occurrence Graph Manual. Department of Computer Science, University of Aarhus, Denmark. (1996) Online: http:\/\/www.daimi.au.dk\/designCPN\/man\/."}],"container-title":["Lecture Notes in Computer Science","Applications and Theory of Petri Nets 2003"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44919-1_28","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,22]],"date-time":"2019-05-22T01:28:09Z","timestamp":1558488489000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44919-1_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540403340","9783540449195"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/3-540-44919-1_28","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[2003]]},"assertion":[{"value":"27 May 2003","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}