{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,25]],"date-time":"2026-02-25T11:48:33Z","timestamp":1772020113321,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":5,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540418658","type":"print"},{"value":"9783540453192","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45319-9_39","type":"book-chapter","created":{"date-parts":[[2007,7,16]],"date-time":"2007-07-16T15:50:47Z","timestamp":1184601047000},"page":"574-577","source":"Crossref","is-referenced-by-count":13,"title":["CPN\/Tools: A Tool for Editing and Simulating Coloured Petri Nets ETAPS Tool Demonstration Related to TACAS"],"prefix":"10.1007","author":[{"given":"Michel","family":"Beaudouin-Lafon","sequence":"first","affiliation":[]},{"given":"Wendy E.","family":"Mackay","sequence":"additional","affiliation":[]},{"given":"Mads","family":"Jensen","sequence":"additional","affiliation":[]},{"given":"Peter","family":"Andersen","sequence":"additional","affiliation":[]},{"given":"Paul","family":"Janecek","sequence":"additional","affiliation":[]},{"given":"Michael","family":"Lassen","sequence":"additional","affiliation":[]},{"given":"Kasper","family":"Lund","sequence":"additional","affiliation":[]},{"given":"Kjeld","family":"Mortensen","sequence":"additional","affiliation":[]},{"given":"Stephanie","family":"Munck","sequence":"additional","affiliation":[]},{"given":"Anne","family":"Ratzer","sequence":"additional","affiliation":[]},{"given":"Katrine","family":"Ravn","sequence":"additional","affiliation":[]},{"given":"S\u00f8ren","family":"Christensen","sequence":"additional","affiliation":[]},{"given":"Kurt","family":"Jensen","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,3,23]]},"reference":[{"key":"39_CR1","doi-asserted-by":"crossref","unstructured":"Beaudouin-Lafon, M., Lassen, M. The Architecture and Implementation of CPN2000, A Post-WIMP Graphical Application. Proc. ACM Symposium on User Interface Software and Technology, UIST 2000, November 2000, ACM Press, 2000.","DOI":"10.1145\/354401.354761"},{"key":"39_CR2","doi-asserted-by":"crossref","unstructured":"Jensen, K. Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical use, vol 1,2 and 3, Monographs in Theoretical Computer Science, Springer Verlag, 1992-97.","DOI":"10.1007\/978-3-662-03241-1_1"},{"key":"39_CR3","doi-asserted-by":"crossref","first-page":"98","DOI":"10.1007\/s100090050021","volume":"2","author":"L. M. Kristensen","year":"1998","unstructured":"Kristensen, L. M., Christensen, S. and Jensen K. The Practitioner\u2019s Guide to Coloured Petri Nets International Journal on Software Tools for Technology Transfer, vol. 2, December 1998, pp. 98\u2013132.","journal-title":"The Practitioner\u2019s Guide to Coloured Petri Nets International Journal on Software Tools for Technology Transfer"},{"key":"39_CR4","doi-asserted-by":"crossref","unstructured":"Bier, E., Stone, M., Pier, K., Buxton, W., De Rose, T. Toolglass and Magic Lenses: the See-Through Interface. In Proc. ACM SIGGRAPH, ACM Press, 1993, pp. 73\u201380.","DOI":"10.1145\/166117.166126"},{"key":"39_CR5","doi-asserted-by":"crossref","unstructured":"Kurtenbach, G. & Buxton, W. User Learning and Performance with Marking Menus. In Proc. Human Factors in Computing Systems, CHI\u201994, ACM, 1994, pp. 258\u2013264.","DOI":"10.1145\/259963.260376"}],"container-title":["Lecture Notes in Computer Science","Tools and Algorithms for the Construction and Analysis of Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45319-9_39","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,8,19]],"date-time":"2021-08-19T10:43:09Z","timestamp":1629369789000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45319-9_39"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540418658","9783540453192"],"references-count":5,"URL":"https:\/\/doi.org\/10.1007\/3-540-45319-9_39","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[2001]]}}}