{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,22]],"date-time":"2025-10-22T09:48:06Z","timestamp":1761126486340},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540346999"},{"type":"electronic","value":"9783540347002"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11767589_4","type":"book-chapter","created":{"date-parts":[[2006,6,20]],"date-time":"2006-06-20T14:38:34Z","timestamp":1150814314000},"page":"57-64","source":"Crossref","is-referenced-by-count":1,"title":["Using Colored Petri Nets and Tools to Support Mobile Terminal and Network Software Development"],"prefix":"10.1007","author":[{"given":"Jianli","family":"Xu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"4_CR1","series-title":"Monographs in Theoretical Computer Science","volume-title":"Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use, Basic Concepts","author":"K. Jensen","year":"1997","unstructured":"Jensen, K.: Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use, Basic Concepts. Monographs in Theoretical Computer Science, vol.\u00a01. Springer, Heidelberg (1997)"},{"key":"4_CR2","series-title":"Monographs in Theoretical Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-60794-3","volume-title":"Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use","author":"K. Jensen","year":"1997","unstructured":"Jensen, K.: Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. Monographs in Theoretical Computer Science, vol.\u00a03. Springer, Heidelberg (1997)"},{"issue":"2","key":"4_CR3","doi-asserted-by":"publisher","first-page":"98","DOI":"10.1007\/s100090050021","volume":"2","author":"L.M. Kristensen","year":"1998","unstructured":"Kristensen, L.M., Kristensen, S., Jensen, K.: The practitioner\u2019s guide to Coloured Petri nets. International Journal of Software Tools for Technology Transfer\u00a02(2), 98\u2013132 (1998)","journal-title":"International Journal of Software Tools for Technology Transfer"},{"key":"4_CR4","unstructured":"Design\/CPN, Online: http:\/\/www.daimi.au.dk\/designCPN\/"},{"key":"4_CR5","unstructured":"CPN Tools, http:\/\/www.daimi.au.dk\/CPNtools\/"},{"issue":"2","key":"4_CR6","first-page":"132","volume":"2","author":"J. Xu","year":"1998","unstructured":"Xu, J., Kuusela, J.: Analyzing the execution architecture of mobile phone software with coloured Petri nets. International Journal of Software Tools for Technology Transfer\u00a02(2), 132\u2013143 (1998)","journal-title":"International Journal of Software Tools for Technology Transfer"},{"key":"4_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"294","DOI":"10.1007\/3-540-48068-4_18","volume-title":"Application and Theory of Petri Nets 2002","author":"L. Lorentsen","year":"2002","unstructured":"Lorentsen, L., Tuovinen, A.-P., Xu, J.: Modelling of Features and Feature Interactions in Nokia Mobile Phones using Coloured Petri Nets. In: Esparza, J., Lakos, C.A. (eds.) ICATPN 2002. LNCS, vol.\u00a02360, pp. 294\u2013313. Springer, Heidelberg (2002)"},{"key":"4_CR8","unstructured":"J\u00f8rgensen, J.B., Christensen, S., Tuovinen, A.-P., Xu, J.: Tool Support for Estimating the Memory Usage of Mobile Phone Software. International Journal of Software Tools for Technology Transfer. Springer, Heidelberg (to be published)"},{"key":"4_CR9","volume-title":"The Proceedings of the 30th NASA\/IEEE Workshop on Software Engineering","author":"J. Xu","year":"2006","unstructured":"Xu, J.: Evaluating and Balancing Reliability and Performance Properties of Software Architecture Using Formal Modeling Techniques. In: The Proceedings of the 30th NASA\/IEEE Workshop on Software Engineering, Colombia, USA, April 25-27. IEEE Computer Science Press, Los Alamitos (2006)"},{"key":"4_CR10","unstructured":"IBM Rational Rose, www-136.ibm.com\/developerworks\/rational\/products\/rose"},{"key":"4_CR11","doi-asserted-by":"crossref","unstructured":"J\u00f8rgensen, J.B., Bossen, C.: Executable Use Cases: Requirements for a Pervasive Health Care System. IEEE Software (2004)","DOI":"10.1109\/MS.2004.1270759"},{"key":"4_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/11538394","volume-title":"13th Intl. Conf. on Cooperative Information Systems (CoopIS)","author":"W. Aalst van der","year":"2005","unstructured":"van der Aalst, W., J\u00f8rgensen, J.B., Lassen, K.B.: Let\u2019s Go All the Way: From Requirements Via Colored Workflow Nets to a BPEL Implementation of a New Bank System. In: 13th Intl. Conf. on Cooperative Information Systems (CoopIS). LNCS. Springer, Heidelberg (2005)"}],"container-title":["Lecture Notes in Computer Science","Petri Nets and Other Models of Concurrency - ICATPN 2006"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11767589_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:11:29Z","timestamp":1619507489000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11767589_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540346999","9783540347002"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/11767589_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}