{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,21]],"date-time":"2025-05-21T06:11:40Z","timestamp":1747807900055},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540422525"},{"type":"electronic","value":"9783540457404"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45740-2_6","type":"book-chapter","created":{"date-parts":[[2007,11,15]],"date-time":"2007-11-15T15:30:51Z","timestamp":1195140651000},"page":"71-80","source":"Crossref","is-referenced-by-count":12,"title":["CPN\/Tools: A Post-WIMP Interface for Editing and Simulating Coloured Petri Nets"],"prefix":"10.1007","author":[{"given":"Michel","family":"Beaudouin-Lafon","sequence":"first","affiliation":[]},{"given":"Wendy E.","family":"Mackay","sequence":"additional","affiliation":[]},{"given":"Peter","family":"Andersen","sequence":"additional","affiliation":[]},{"given":"Paul","family":"Janecek","sequence":"additional","affiliation":[]},{"given":"Mads","family":"Jensen","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,6,28]]},"reference":[{"key":"6_CR1","unstructured":"Beaudouin-Lafon, M. PeTriPote: a graphic system for Petri-nets design and simulation. Proc. 4th European Workshop on Applications & Theory of Petri-Nets, 1983, p. 20\u201330."},{"issue":"2","key":"6_CR2","first-page":"181","volume":"2","author":"M. Beaudouin-Lafon","year":"2000","unstructured":"Beaudouin-Lafon, M. & Lassen, M. The Architecture and Implementation of CPN2000, a Post-WIMP Graphical Application. In Proc. ACM Symposium on User Interface Software and Technology, UIST 2000, CHI Letters 2(2):181\u2013190, ACM, 2000.","journal-title":"UIST 2000, CHI Letters"},{"key":"6_CR3","doi-asserted-by":"crossref","unstructured":"Beaudouin-Lafon, M. & Mackay, W. Reification, Polymorphism and Reuse: Three Principles for Designing Visual Interfaces. In Proc. Conference on Advanced Visual Interfaces, AVI 2000, Palermo, Italy, May 2000, p. 102\u2013109.","DOI":"10.1145\/345513.345267"},{"key":"6_CR4","doi-asserted-by":"crossref","unstructured":"Beaudouin-Lafon, M. Instrumental Interaction: An Interaction Model for Designing Post-WIMP User Interfaces. In Proc. Human Factors in Computing Systems, CHI\u20192000, CHI Letters 2(1):446:453, ACM Press, 2000.","DOI":"10.1145\/332040.332473"},{"key":"6_CR5","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, p.73\u201380.","DOI":"10.1145\/166117.166126"},{"key":"6_CR6","doi-asserted-by":"crossref","unstructured":"Casalta, D., Guiard, Y. and Beaudouin-Lafon, M. Evaluating Two-Handed Input Techniques: Rectangle Editing and Navigation. In Proc. ACM Human Factors In Computing Systems, CHI\u201999, Extended Abstracts, 1999, p. 236\u2013237.","DOI":"10.1145\/632716.632862"},{"key":"6_CR7","doi-asserted-by":"crossref","first-page":"486","DOI":"10.1080\/00222895.1987.10735426","volume":"19","author":"Y. Guiard","year":"1987","unstructured":"Guiard, Y. Asymmetric division of labor in human skilled bimanual action: The kinematic chain as a model. Journal of Motor Behavior, 19:486\u2013517, 1987.","journal-title":"Journal of Motor Behavior"},{"key":"6_CR8","series-title":"Master\u2019s Thesis","volume-title":"Optimising a Coloured Petri Net Simulator","author":"T.B. Haag","year":"1994","unstructured":"Haag, T.B. and Hansen, T.R. Optimising a Coloured Petri Net Simulator. Master\u2019s Thesis, University of Aarhus ( Denmark), December 1994."},{"key":"6_CR9","volume-title":"Proc. International Workshop on Coloured Petri Nets","author":"P. Janecek","year":"1999","unstructured":"Janecek, P., Ratzer, A., and Mackay, W. Redesigning Design\/CPN: Integrating Interaction and Petri-Nets-In-Use. In Proc. International Workshop on Coloured Petri Nets, Aarhus, Denmark, 1999."},{"key":"6_CR10","unstructured":"Jensen, K. Coloured Petri Nets: Basic Concepts (Vol. 1, 1992), Analysis Methods (Vol. 2, 1994), Practical Use (Vol. 3, 1997). Monographs in Theoretical Computer Science. Springer-Verlag, 1992-97."},{"key":"6_CR11","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, p. 258\u2013264.","DOI":"10.1145\/259963.260376"},{"key":"6_CR12","doi-asserted-by":"crossref","unstructured":"Mackay, W.E. Users and Customizable Software: A Co-Adaptive Phenomenon. Ph.D. Dissertation, Massachusetts Institute of Technology, 1990.","DOI":"10.1145\/99332.99356"},{"key":"6_CR13","doi-asserted-by":"crossref","unstructured":"Mackay, W.E. Triggers and barriers to customizing software. In Proc. ACM Human Factors in Computing Systems, CHI\u201991, ACM Press, 1991, p. 153\u2013160.","DOI":"10.1145\/108844.108867"},{"key":"6_CR14","doi-asserted-by":"crossref","unstructured":"Mackay, W., Ratzer, A. & Janecek, P. Video Artifacts for Design: Bridging the Gap between Abstraction and Detail. In Proc. ACM Conference on Designing Interactive Systems, DIS 2000, New York, August 2000, p. 72\u201382.","DOI":"10.1145\/347642.347666"}],"container-title":["Lecture Notes in Computer Science","Applications and Theory of Petri Nets 2001"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45740-2_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,4]],"date-time":"2019-05-04T13:17:18Z","timestamp":1556975838000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45740-2_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540422525","9783540457404"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-45740-2_6","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}