{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T21:02:33Z","timestamp":1725570153310},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642164873"},{"type":"electronic","value":"9783642164880"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-16488-0_2","type":"book-chapter","created":{"date-parts":[[2010,11,12]],"date-time":"2010-11-12T14:58:39Z","timestamp":1289573919000},"page":"6-21","source":"Crossref","is-referenced-by-count":10,"title":["The APEX Framework: Prototyping of Ubiquitous Environments Based on Petri Nets"],"prefix":"10.1007","author":[{"given":"Jos\u00e9 Lu\u00eds","family":"Silva","sequence":"first","affiliation":[]},{"given":"\u00d3scar R.","family":"Ribeiro","sequence":"additional","affiliation":[]},{"given":"Jo\u00e3o M.","family":"Fernandes","sequence":"additional","affiliation":[]},{"given":"Jos\u00e9 Creissac","family":"Campos","sequence":"additional","affiliation":[]},{"given":"Michael D.","family":"Harrison","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"2_CR1","unstructured":"CyberPsychology & Behavior 6(3\/4) (2003)"},{"issue":"4","key":"2_CR2","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1109\/MPRV.2005.83","volume":"4","author":"G. Abowd","year":"2005","unstructured":"Abowd, G., Hayes, G., Iachello, G., Kientz, J., Patel, S., Stevens, M., Truong, K.: Prototypes and paratypes: designing mobile and ubiquitous computing applications. IEEE Pervasive Computing\u00a04(4), 67\u201373 (2005)","journal-title":"IEEE Pervasive Computing"},{"key":"2_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1007\/3-540-36235-5_7","volume-title":"Interactive Systems. Design, Specification, and Verification","author":"L. Braubach","year":"2002","unstructured":"Braubach, L., Pokahr, A., Moldt, D., Bartelt, A., Lamersdorf, W.: Tool-supported interpreter-based user interface architecture for ubiquitous computing. In: Forbrig, P., Limbourg, Q., Urban, B., Vanderdonckt, J. (eds.) DSV-IS 2002. LNCS, vol.\u00a02545, pp. 89\u2013103. Springer, Heidelberg (2002)"},{"key":"2_CR4","first-page":"424","volume-title":"Proceedings Designing Interactive Systems (DIS 2000)","author":"M. Buchenau","year":"2000","unstructured":"Buchenau, M., Suri, J.: Experience prototyping. In: Proceedings Designing Interactive Systems (DIS 2000), pp. 424\u2013433. ACM Press, New York (2000)"},{"issue":"4","key":"2_CR5","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1109\/MPRV.2005.78","volume":"4","author":"N. Davies","year":"2005","unstructured":"Davies, N., Landay, J., Hudson, S., Schmidt, A.: Rapid prototyping for ubiquitous computing \u2014 guest editors\u2019 introduction. IEEE Pervasive Computing\u00a04(4), 15\u201317 (2005)","journal-title":"IEEE Pervasive Computing"},{"key":"2_CR6","doi-asserted-by":"crossref","unstructured":"Disz, T., Papka, M., Stevens, R.: UbiWorld: an environment integrating virtual reality, supercomputing, and design. In: Proceedings of the Heterogeneous Computing Workshop, pp. 46\u201359 (April 1997)","DOI":"10.1109\/HCW.1997.581409"},{"key":"2_CR7","unstructured":"Gallasch, G., Kristensen, L.: Comms\/CPN: A communication infrastructure for external communication with design\/CPN. In: Jensen, K. (ed.) 3rd Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools (CPN 2001), DAIMI PB-554, Aarhus University, pp. 75\u201390 (2001)"},{"key":"2_CR8","doi-asserted-by":"crossref","unstructured":"Garlan, D., Siewiorek, D., Smailagic, A., Steenkiste, P.: Project Aura: toward distraction-free pervasive computing. IEEE Pervasive Computing, 22\u201331 (April - June 2002)","DOI":"10.1109\/MPRV.2002.1012334"},{"key":"2_CR9","series-title":"Human Computer Interaction Series","doi-asserted-by":"publisher","first-page":"56","DOI":"10.1007\/978-1-84628-941-5_3","volume-title":"Maturing Usability: Quality in Software, Interaction and Value","author":"M. Harrison","year":"2008","unstructured":"Harrison, M., Campos, J., Doherty, G., Loer, K.: Connecting rigorous system analysis to experience centred design. In: Law, E., Hvannberg, E., Cockton, G. (eds.) Maturing Usability: Quality in Software, Interaction and Value. Human Computer Interaction Series, pp. 56\u201374. Springer, Heidelberg (2008)"},{"key":"2_CR10","first-page":"1","volume":"1","author":"A. Harter","year":"2001","unstructured":"Harter, A., Hopper, A., Steggles, P., Ward, A., Webster, P.: The anatomy of a context-aware application. Wireless Networks\u00a01, 1\u201316 (2001)","journal-title":"Wireless Networks"},{"issue":"3-4","key":"2_CR11","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1007\/s10009-007-0038-x","volume":"9","author":"K. Jensen","year":"2007","unstructured":"Jensen, K., Kristensen, L., Wells, L.: Coloured petri nets and CPN tools for modelling and validation of concurrent systems. International Journal on Software Tools for Technology Transfer (STTT)\u00a09(3-4), 213\u2013254 (2007)","journal-title":"International Journal on Software Tools for Technology Transfer (STTT)"},{"key":"2_CR12","doi-asserted-by":"publisher","DOI":"10.1007\/b95112","volume-title":"Coloured Petri Nets \u2013 Modelling and Validation of Concurrent Systems","author":"K. Jensen","year":"2009","unstructured":"Jensen, K., Kristensen, L.M.: Coloured Petri Nets \u2013 Modelling and Validation of Concurrent Systems. Springer, Heidelberg (2009)"},{"key":"2_CR13","first-page":"217","volume-title":"UIST 2004: Proceedings of the 17th Annual ACM Symposium on User Interface Software and Technology","author":"Y. Li","year":"2004","unstructured":"Li, Y., Hong, J., Landay, J.: Topiary: a tool for prototyping location-enhanced applications. In: UIST 2004: Proceedings of the 17th Annual ACM Symposium on User Interface Software and Technology, pp. 217\u2013226. ACM, New York (2004)"},{"key":"2_CR14","first-page":"30","volume-title":"Design, Specification and Verification of Interactive Systems 1999","author":"M. Massink","year":"1999","unstructured":"Massink, M., Duke, D., Smith, S.: Towards hybrid interface specification for virtual environments. In: Duke, D., Puerta, A. (eds.) Design, Specification and Verification of Interactive Systems 1999, pp. 30\u201351. Springer, Heidelberg (1999)"},{"key":"2_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"170","DOI":"10.1007\/11555261_17","volume-title":"Human-Computer Interaction - INTERACT 2005","author":"D. Navarre","year":"2005","unstructured":"Navarre, D., Palanque, P., Bastide, R., Schyn, A., Winckler, M., Nedel, L., Freitas, C.: A formal description of multimodal interaction techniques for immersive virtual reality applications. In: Costabile, M.F., Patern\u00f3, F. (eds.) INTERACT 2005. LNCS, vol.\u00a03585, pp. 170\u2013183. Springer, Heidelberg (2005)"},{"key":"2_CR16","doi-asserted-by":"crossref","unstructured":"O\u2019Neill, E., Lewis, D., Conlan, O.: A simulation-based approach to highly iterative prototyping of ubiquitous computing systems. In: 2nd International Conference on Simulation Tools and Techniques, ICST, pp. 1\u201310 (2009)","DOI":"10.4108\/ICST.SIMUTOOLS2009.5685"},{"key":"2_CR17","doi-asserted-by":"crossref","unstructured":"Shirehjini, A.A.N., Klar, F.: 3DSim: rapid prototyping ambient intelligence. In: Proceedings of the 2005 Joint Conference on Smart Objects and Abient Intelligence: Innovative Context-Aware Services: Usages and Technologies (2005)","DOI":"10.1145\/1107548.1107621"},{"key":"2_CR18","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1145\/1570433.1570450","volume-title":"Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems","author":"J. Silva","year":"2009","unstructured":"Silva, J., Campos, J., Harrison, M.: An infrastructure for experience centred agile prototyping of ambient intelligence. In: Calvary, G., Graham, T., Gray, P. (eds.) Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, pp. 79\u201384. ACM Press, New York (2009)"},{"key":"2_CR19","doi-asserted-by":"crossref","unstructured":"Smith, S., Duke, D., Massink, M.: The hybrid world of virtual environments. Computer Graphics Forum\u00a018(3), C287\u2013C307 (1999)","DOI":"10.1111\/1467-8659.00350"},{"key":"2_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"431","DOI":"10.1007\/11767589_26","volume-title":"Petri Nets and Other Models of Concurrency - ICATPN 2006","author":"M. Westergaard","year":"2006","unstructured":"Westergaard, M., Lassen, K.B.: The britney suite animation tool. In: Donatelli, S., Thiagarajan, P.S. (eds.) ICATPN 2006. LNCS, vol.\u00a04024, pp. 431\u2013440. Springer, Heidelberg (2006)"}],"container-title":["Lecture Notes in Computer Science","Human-Centred Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-16488-0_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,22]],"date-time":"2019-03-22T06:41:16Z","timestamp":1553236876000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-16488-0_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642164873","9783642164880"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-16488-0_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}