{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:58:21Z","timestamp":1725490701394},"publisher-location":"Berlin, Heidelberg","reference-count":50,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540403340"},{"type":"electronic","value":"9783540449195"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-44919-1_18","type":"book-chapter","created":{"date-parts":[[2007,9,2]],"date-time":"2007-09-02T20:38:42Z","timestamp":1188765522000},"page":"256-275","source":"Crossref","is-referenced-by-count":6,"title":["Coloured Petri Nets in Development of a Pervasive Health Care System"],"prefix":"10.1007","author":[{"given":"Jens B\u00e6k","family":"J\u00f8rgensen","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2003,5,27]]},"reference":[{"key":"18_CR1","series-title":"Lect Notes Comput Sci","volume-title":"Concurrent Object-Oriented Programming and Petri Nets","year":"2001","unstructured":"G. Agha, F.D. Cindio, and G. Rozenberg, editors. Concurrent Object-Oriented Programming and Petri Nets, volume 2001 of LNCS. Springer-Verlag, 2001."},{"key":"18_CR2","series-title":"Lect Notes Comput Sci","volume-title":"Proceedings of the 5th UML Conference","author":"C. Andre","year":"2002","unstructured":"C. Andre, M.A. Peraldi-Frati, and J.P. Rigault. Integrating the Synchronous Paradigm into UML: Application to Control-Dominated Systems. In H. Hussmann, and S. Cook, editors. Proceedings of the 5th UML Conference, volume 2460 of LNCS, Dresden, Germany, 2002. Springer-Verlag J\u00e9z\u00e9quel et al. [18]."},{"key":"18_CR3","unstructured":"J. Bardram and H.B. Christensen. Middleware for Pervasive Healthcare, A White Paper. In Workshop on Middleware for Mobile Computing, Heidelberg, Germany, 2001."},{"key":"18_CR4","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45397-0_9","volume-title":"Concurrent Object-Oriented Programming and Petri Nets","author":"L. Baresi","year":"2001","unstructured":"L. Baresi and M. Pezz\u00e9. On Formalizing UML with High-Level Petri Nets. In F.D. Cindio, and G. Rozenberg, editors. Concurrent Object-Oriented Programming and Petri Nets, volume 2001 of LNCS. Springer-Verlag, 2001 Agha et al. [1]."},{"key":"18_CR5","series-title":"Lect Notes Comput Sci","volume-title":"Proceedings of the 4th UML Conference","author":"M. Beeck v.d.","year":"2001","unstructured":"M. v.d. Beeck. Formalization of UML-Statecharts. In C. Kobryn, editors. Proceedings of the 4th UML Conference, volume 2185 of LNCS, Toronto, Canada, 2001. Springer-Verlag Gogolla and Kobryn [14]."},{"key":"18_CR6","unstructured":"F. Buschmann, R. Meunier, H. Rohnert, and P. Sommerlad. Pattern-Oriented Software Architecture. John Wiley and Sons, 1996."},{"key":"18_CR7","doi-asserted-by":"crossref","unstructured":"L. Cardelli and A.D. Gordon. Mobile Ambients. In D. Le M\u00e9tayer, editor, Theoretical Computer Science, Special Issue on Coordination, volume 240\/1. Elsevier, 2000.","DOI":"10.1016\/S0304-3975(99)00231-5"},{"key":"18_CR8","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-45807-7","volume-title":"4th Ubicomp Conference","author":"H.B. Christensen","year":"2002","unstructured":"H.B. Christensen and J.E. Bardram. Supporting Human Activities \u2014 Exploring Activity-Centered Computing. In G. Borriello and L.E. Holmquist, editors, 4th Ubicomp Conference, volume 2498 of LNCS, Gothenborg, Sweden, 2002. Springer-Verlag."},{"key":"18_CR9","unstructured":"A. Cockburn. Writing Effective Use Cases. Addison-Wesley, 2000."},{"key":"18_CR10","unstructured":"G. Coulouris, J. Dollimore, and T. Kindberg. Distributed Systems \u2014 Concepts and Design. Addison-Wesley, 2001."},{"key":"18_CR11","series-title":"Lect Notes Comput Sci","volume-title":"Proceedings of 21st PN Conference","author":"M. Elkoutbi","year":"2000","unstructured":"M. Elkoutbi and R.K. Keller. User Interface Prototyping Based on UML Scenarios and High-Level Petri Nets. In D. Simpson, editors. Proceedings of 21st PN Conference, volume 1825 of LNCS, Aarhus, Denmark, 2000. Springer-Verlag Nielsen and Simpson [27]."},{"key":"18_CR12","series-title":"Lect Notes Comput Sci","volume-title":"Proceedings of 21st PN Conference","author":"G. Engels","year":"2000","unstructured":"G. Engels, R. Heckel, and S. Sauer. UML \u2014 A Universal Modeling Language? In D. Simpson, editors. Proceedings of 21st PN Conference, volume 1825 of LNCS, Aarhus, Denmark, 2000. Springer-Verlag Nielsen and Simpson [27]."},{"key":"18_CR13","series-title":"Lect Notes Comput Sci","volume-title":"Proceedings of the 4th UML Conference","author":"R. Eshuis","year":"2001","unstructured":"R. Eshuis and R. Wieringa. An Execution Algorithm for UML Activity Graphs. In C. Kobryn, editors. Proceedings of the 4th UML Conference, volume 2185 of LNCS, Toronto, Canada, 2001. Springer-Verlag Gogolla and Kobryn [14]."},{"key":"18_CR14","series-title":"Lect Notes Comput Sci","volume-title":"Proceedings of the 4th UML Conference","year":"2001","unstructured":"M. Gogolla and C. Kobryn, editors. Proceedings of the 4th UML Conference, volume 2185 of LNCS, Toronto, Canada, 2001. Springer-Verlag."},{"key":"18_CR15","series-title":"Lect Notes Comput Sci","volume-title":"Proceedings of 21st PN Conference","author":"S. Gordon","year":"2000","unstructured":"S. Gordon and J. Billington. Analysing the WAP Class 2 Wireless Transaction Protocol Using Coloured Petri Nets. In D. Simpson, editors. Proceedings of 21st PN Conference, volume 1825 of LNCS, Aarhus, Denmark, 2000. Springer-Verlag Nielsen and Simpson [27]."},{"key":"18_CR16","unstructured":"I. Jacobson, M. Christerson, P. Jonsson, and G. \u00d6vergaard. Object-Oriented Software Engineering: A Use Case Driven Approach. Addison-Wesley, 1992."},{"key":"18_CR17","unstructured":"K. Jensen. Coloured Petri Nets \u2014 Basic Concepts, Analysis Methods and Practical Use. Volume 1, Basic Concepts. Monographs in Theoretical Computer Science. An EATCS Series. Springer-Verlag, 1992."},{"key":"18_CR18","series-title":"Lect Notes Comput Sci","volume-title":"Proceedings of the 5th UML Conference","year":"2002","unstructured":"J.M. J\u00e9z\u00e9quel, H. Hussmann, and S. Cook, editors. Proceedings of the 5th UML Conference, volume 2460 of LNCS, Dresden, Germany, 2002. Springer-Verlag."},{"key":"18_CR19","unstructured":"J.B. J\u00f8rgensen. Coloured Petri Nets in UML-Based Software Engineering \u2014 Designing Middleware for Pervasive Healthcare. In K. Jensen, editor, Proceedings of the 3rd CPN Workshop, Aarhus, Denmark, 2002. Technical report, Department of Computer Science, University of Aarhus."},{"key":"18_CR20","unstructured":"J.B. J\u00f8rgensen and C. Bossen. Executable Use Cases for Pervasive Healthcare. In Moldt [25]."},{"key":"18_CR21","series-title":"Lect Notes Comput Sci","volume-title":"Proceedings of the 5th UML Conference","author":"J.B. J\u00f8rgensen","year":"2002","unstructured":"J.B. J\u00f8rgensen and S. Christensen. Executable Design Models for a Pervasive Healthcare Middleware System. In H. Hussmann, and S. Cook, editors. Proceedings of the 5th UML Conference, volume 2460 of LNCS, Dresden, Germany, 2002. Springer-Verlag J\u00e9z\u00e9quel et al. [18]."},{"key":"18_CR22","series-title":"Lect Notes Comput Sci","volume-title":"Proceedings of the 22nd PN Conference","author":"M. K\u00f6hler","year":"2001","unstructured":"M. K\u00f6hler, D. Moldt, and H. R\u00f6lke. Modelling the Structure and Behaviour of Petri Net Agents. In J.-M. Colom and M. Koutny, editors, Proceedings of the 22nd PN Conference, volume 2075 of LNCS, Newcastle, UK, 2001. Springer-Verlag."},{"key":"18_CR23","unstructured":"M. K\u00f6hler and H. R\u00f6lke. Modelling Mobility and Mobile Agents using Nets within Nets. In Moldt [25]."},{"key":"18_CR24","doi-asserted-by":"crossref","unstructured":"L.M. Kristensen, S. Christensen, and K. Jensen. The Practitioner\u2019s Guide to Coloured Petri Nets. International Journal on Software Tools for Technology Transfer, 2(2), 1998.","DOI":"10.1007\/s100090050021"},{"key":"18_CR25","unstructured":"D. Moldt, editor. Proceedings of the 2nd MOCA Workshop, Aarhus, Denmark, 2002. Technical report, Department of Computer Science, University of Aarhus."},{"key":"18_CR26","series-title":"Lect Notes Comput Sci","volume-title":"Proceedings of 21st PN Conference","author":"K.H. Mortensen","year":"2000","unstructured":"K.H. Mortensen. Automatic Code Generation Method Based on Coloured Petri Net Models Applied on an Access Control System. In D. Simpson, editors. Proceedings of 21st PN Conference, volume 1825 of LNCS, Aarhus, Denmark, 2000. Springer-Verlag Nielsen and Simpson [27]."},{"key":"18_CR27","series-title":"Lect Notes Comput Sci","volume-title":"Proceedings of 21st PN Conference","year":"2000","unstructured":"M. Nielsen and D. Simpson, editors. Proceedings of 21st PN Conference, volume 1825 of LNCS, Aarhus, Denmark, 2000. Springer-Verlag."},{"key":"18_CR28","unstructured":"OMG Unified Modeling Language Specification, Version 1.4. Object Management Group (OMG); UML Revision Taskforce, 2001."},{"key":"18_CR29","series-title":"Lect Notes Comput Sci","volume-title":"Proceedings of the 23rd PN Conference","author":"C. Ouyang","year":"2002","unstructured":"C. Ouyang, L.M. Kristensen, and J. Billington. A Formal Service Specification for the Internet Open Trading Protocol. In J. Esparza and C. Lakos, editors, Proceedings of the 23rd PN Conference, volume 2360 of LNCS, Adelaide, Australia, 2002. Springer-Verlag."},{"key":"18_CR30","series-title":"Lect Notes Comput Sci","volume-title":"Proceedings of the 5th UML Conference","author":"S. Pllana","year":"2002","unstructured":"S. Pllana and T. Fahringer. On Customizing the UML for Modeling Performance-Oriented Applications. In H. Hussmann, and S. Cook, editors. Proceedings of the 5th UML Conference, volume 2460 of LNCS, Dresden, Germany, 2002. Springer-Verlag J\u00e9z\u00e9quel et al. [18]."},{"key":"18_CR31","series-title":"Lect Notes Comput Sci","volume-title":"Proceedings of the 4th UML Conference","author":"J. Rumbaugh","year":"2001","unstructured":"J. Rumbaugh. The Preacher at Arrakeen. In C. Kobryn, editors. Proceedings of the 4th UML Conference, volume 2185 of LNCS, Toronto, Canada, 2001. Springer-Verlag Gogolla and Kobryn [14]."},{"key":"18_CR32","unstructured":"J. Rumbaugh, I. Jacobson, and G. Booch. The Unified Modeling Language Reference Manual. Addison-Wesley, 1999."},{"key":"18_CR33","unstructured":"J. Saldhana and S.M. Shatz. UML Diagrams to Object Petri Net Models: An Approach for Modeling and Analysis. In Proceedings of the International Conference on Software Engineering and Knowledge Engineering, Chicago, Illinois, 2000."},{"key":"18_CR34","doi-asserted-by":"crossref","unstructured":"M. Satyanarayanan. Challenges in Implementing a Context-Aware System. In Pervasive Computing \u2014 Mobile and Ubiquitous Systems, volume 1(3). IEEE, 2002.","DOI":"10.1109\/MPRV.2002.993138"},{"issue":"1","key":"18_CR35","volume":"1","year":"2002","unstructured":"M. Satyanarayanan, editor. Pervasive Computing \u2014 Mobile and Ubiquitous Systems, volume 1(1). IEEE, 2002.","journal-title":"Pervasive Computing \u2014 Mobile and Ubiquitous Systems"},{"key":"18_CR36","doi-asserted-by":"crossref","unstructured":"A.J.H. Simons and I. Graham. 30 Things That Go Wrong in Object Modelling with UML 1.3. In H. Kilov, B. Rumpe, and I. Simmonds, editors, Behavioral Specifications of Businesses and Systems. Kluwer Academic Publishers, 1999.","DOI":"10.1007\/978-1-4615-5229-1_17"},{"key":"18_CR37","series-title":"Lect Notes Comput Sci","volume-title":"Proceedings of the 5th UML Conference","author":"T. Sturm","year":"2002","unstructured":"T. Sturm, J. von Voss, and M. Boger. Generating Code from UML with Velocity Templates. In H. Hussmann, and S. Cook, editors. Proceedings of the 5th UML Conference, volume 2460 of LNCS, Dresden, Germany, 2002. Springer-Verlag J\u00e9z\u00e9quel et al. [18]."},{"key":"18_CR38","doi-asserted-by":"crossref","unstructured":"W.M.P. van der Aalst and K. van Hee. Workflow Management: Models, Methods, and Systems. MIT Press, 2002.","DOI":"10.7551\/mitpress\/7301.001.0001"},{"key":"18_CR39","doi-asserted-by":"crossref","unstructured":"A. van Lamsweerde. Requirements Engineering in the Year 00: A Research Perspective. In Proceedings of the 22nd International Conference on Software Engineering, Limerick, Ireland, 2000. ACM Press.","DOI":"10.1145\/337180.337184"},{"key":"18_CR40","doi-asserted-by":"crossref","unstructured":"M. Weiser. The Computer for the 21st Century. In Scientific American, volume 265(3). Scientific American, Inc., 1991.","DOI":"10.1038\/scientificamerican0991-94"},{"key":"18_CR41","unstructured":"G. Wirtz. Application of Petri Nets in Modelling Distributed Software Systems. In D. Moldt, editor, Proceedings of the 1st MOCA Workshop, Aarhus, Denmark, 2001. Technical report, Department of Computer Science, University of Aarhus."},{"key":"18_CR42","unstructured":"Aarhus Amt Electronic Patient Record. www.epj.aaa.dk."},{"key":"18_CR43","unstructured":"Centre for Pervasive Computing. www.pervasive.dk."},{"key":"18_CR44","unstructured":"CORBA. www.corba.org."},{"key":"18_CR45","unstructured":"Design\/CPN. www.daimi.au.dk\/designCPN."},{"key":"18_CR46","unstructured":"J2EE. www.java.sun.com\/j2ee."},{"key":"18_CR47","unstructured":"MDA. www.omg.org\/mda."},{"key":"18_CR48","unstructured":"Pervasive Healthcare. www.healthcare.pervasive.dk."},{"key":"18_CR49","unstructured":"Radio Frequency Identification. www.rfid.org."},{"key":"18_CR50","unstructured":"Systematic Software Engineering A\/S. www.systematic.dk."}],"container-title":["Lecture Notes in Computer Science","Applications and Theory of Petri Nets 2003"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44919-1_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,2]],"date-time":"2019-05-02T15:42:01Z","timestamp":1556811721000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44919-1_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540403340","9783540449195"],"references-count":50,"URL":"https:\/\/doi.org\/10.1007\/3-540-44919-1_18","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2003]]}}}