{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T16:09:41Z","timestamp":1725466181236},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540643678"},{"type":"electronic","value":"9783540697602"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/bfb0053505","type":"book-chapter","created":{"date-parts":[[2006,6,7]],"date-time":"2006-06-07T05:49:08Z","timestamp":1149659348000},"page":"174-189","source":"Crossref","is-referenced-by-count":3,"title":["Visualising the behaviour of intelligent networks"],"prefix":"10.1007","author":[{"given":"Carla","family":"Capellmann","sequence":"first","affiliation":[]},{"given":"S\u00d8ren","family":"Christensen","sequence":"additional","affiliation":[]},{"given":"Uwe","family":"Herzog","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2006,5,23]]},"reference":[{"unstructured":"Capellmann, C.; Dibold, H.: Formal Specifications of Services in an Intelligent Network using High-Level Petri Nets. In Proceedings of the Case Studies Tutorial\/Petri Nets'94, Zaragoza\/Spain, June 1994","key":"14_CR1"},{"doi-asserted-by":"crossref","unstructured":"Capellmann, C.; Dibold, H.: Petri Net based Specifications of Services in an Intelligent Network \u2014 Experiences gained from a Test Case Application. In Lecture Notes in Computer Science\/Application and Theory of Petri Nets 1993, Vol. 691, pp. 542\u2013551, Springer-Verlag, 1993. ISBN 3-540-56863-8","key":"14_CR2","DOI":"10.1007\/3-540-56863-8_66"},{"unstructured":"Capellmann, C.; Dibold, H.: The Object-Oriented Petri Net Method for the Specification of IN Services. Proceedings of the International Workshop on Intelligent Networks \u201cSoftware Methods and Tools for IN Services\u201d, pp. 63\u201376, Lappeenranta\/Finland, August 1993","key":"14_CR3"},{"unstructured":"Christensen, S.: Message Sequence Charts. User's Manual. January 1997. Available from http:\/\/www.daimi.aau.dk\/designCPN\/","key":"14_CR4"},{"key":"14_CR5","first-page":"4","volume":"44","author":"H. Dibold","year":"1990","unstructured":"Dibold, H.: Intelligente Netze \u2014 Einf\u00fchrung und Grundlagen. Der Fernmelde-Ingenieur, 44 (1990) 4","journal-title":"Der Fernmelde-Ingenieur"},{"unstructured":"Harper, R.; Milner, R.; Tofte, M.: The Semantics of Standard ML, Version 1.Technical Reports ECS-LFCS-87-36, University of Edinburgh, LFCS, Department of Computer Science, University of Edinburgh, The King's Buildings, August 1987","key":"14_CR6"},{"unstructured":"Herzog, U.: Petri Net based Modelling of Interactions between Basic Call State Model and Service Logic in an Intelligent Network. Protocol workshop within the 16th International Conference on Application and Theory of Petri Nets, Torino, June 1995","key":"14_CR7"},{"unstructured":"ITU (CCITT) Recommendation Z.100: SDL, 1992","key":"14_CR8"},{"unstructured":"ITU (CCITT) Recommendation Z.120: MSC, 1992","key":"14_CR9"},{"unstructured":"ITU-T SG XI: Q.1200 Series of Recom. for Intelligent Networks, ITU-T, 1992","key":"14_CR10"},{"unstructured":"ITU-T SG XI: Q.1214, ITU-T, 1992","key":"14_CR11"},{"unstructured":"ITU-T SG XI: Q.1219, ITU-T, 1992","key":"14_CR12"},{"doi-asserted-by":"crossref","unstructured":"Jensen, K.: Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. Volume 1, Basic Concepts. Monographs in Theoretical Computer Science, Springer-Verlag, 1992","key":"14_CR13","DOI":"10.1007\/978-3-662-06289-0"},{"doi-asserted-by":"crossref","unstructured":"Jensen, K.: A Breif Introduction to Coloured Petri Nets. In: Ed Brinksma (Ed.): Tools and Algorithms for the Construction and Analysis of Systems. Lecture Notes in Compueter Science 1217, Springer-Verlag, 1997","key":"14_CR14","DOI":"10.1007\/978-3-642-60794-3"},{"key":"14_CR15","volume-title":"Design\/CPN Manual","author":"K. Jensen","year":"1991","unstructured":"Jensen, K.; et al.: Design\/CPN Manual. Meta Software Corporation. Cambridge, USA, 1991. Available from http:\/\/www.daimi.aau.dk\/designCPN\/"},{"key":"14_CR16","volume-title":"Petri Net Theory and the Modelling of Systems","author":"J.L. Peterson","year":"1981","unstructured":"Peterson, J.L.: Petri Net Theory and the Modelling of Systems; Prentice Hall Inc., Engelwood Cliffs, N.J. 07632,1981"},{"unstructured":"Rasmussen, J.L.; Singh, M.: Mimic\/CPN. A Graphical Simulation Utility for Design\/CPN. User's Manual, Version 1.5. Available from http:\/\/www.daimi.aau.dk\/designCPN\/","key":"14_CR17"},{"key":"14_CR18","volume-title":"Intelligent Networks","author":"J. Th\u00f6rner","year":"1994","unstructured":"Th\u00f6rner, J.: Intelligent Networks, Artech House Inc., Boston, London, 1994"}],"container-title":["Lecture Notes in Computer Science","Services and Visualization Towards User-Friendly Design"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0053505","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,19]],"date-time":"2019-04-19T06:35:14Z","timestamp":1555655714000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0053505"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540643678","9783540697602"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/bfb0053505","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]}}}