{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:07:00Z","timestamp":1725664020952},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540568636"},{"type":"electronic","value":"9783540477594"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-56863-8_66","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T11:42:59Z","timestamp":1330256579000},"page":"542-551","source":"Crossref","is-referenced-by-count":4,"title":["Petri Net based specifications of services in an Intelligent Network-Experiences gained from a test case application"],"prefix":"10.1007","author":[{"given":"Carla","family":"Capellmann","sequence":"first","affiliation":[]},{"given":"Heinz","family":"Dibold","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"31_CR1","doi-asserted-by":"crossref","unstructured":"Ambrosch, W.D.; Maher, A. and Sasscer.B.: The Intelligent Network. A Joint Study by Bell Atlantic, IBM and Siemens. Springer-Verlag, 1989.","DOI":"10.1007\/978-3-642-46663-2"},{"key":"31_CR2","volume-title":"Structured Analysis and System Specification","author":"T. DeMarco","year":"1978","unstructured":"DeMarco, T.: Structured Analysis and System Specification. Yourdon Press, New York, 1978."},{"key":"31_CR3","unstructured":"Design\/CPN Manual. Meta Software Corporation. Cambridge, USA, 1991."},{"key":"31_CR4","doi-asserted-by":"crossref","unstructured":"Dibold, H.: A Method for the Support of Specifying the Requirements of Telecommunication Systems. Proceedings of the International Zurich Seminar, Zurich, 1988, pp. 115\u2013122.","DOI":"10.1109\/DIGCOM.1988.4695"},{"key":"31_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"},{"key":"31_CR6","doi-asserted-by":"crossref","unstructured":"Dibold, H.: Hierarchical Coloured Petri Nets for the Description of Services in an Intelligent Network. Proceedings of the International Zurich Seminar, Zurich, 1992, pp. 165\u2013178.","DOI":"10.1109\/DIGCOM.1992.211641"},{"key":"31_CR7","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1007\/978-3-642-77580-2_10","volume-title":"Fachbericht des GI\/ITG Arbeitskreises \u201cFormale Beschreibungstechniken f\u00fcr verteilte Systeme\u201d","author":"H. Dibold","year":"1992","unstructured":"Dibold, H.: Die Offene Petrinetz-Methode zur Analyse und Darstellung des funktionalen Verhaltens verteilter Systeme. Fachbericht des GI\/ITG Arbeitskreises \u201cFormale Beschreibungstechniken f\u00fcr verteilte Systeme\u201d, Springer-Verlag, Berlin, 1992, pp. 195\u2013221."},{"key":"31_CR8","volume-title":"Technical Report ECS-LFCS-87-36","author":"R. Harper","year":"1987","unstructured":"Harper, R.; Milner, R.; Tofte, M.: The Semantics of Standard ML, Version 1. Technical Report ECS-LFCS-87-36, University of Edinburgh, LFCS, Department of Computer Science, University of Edinburgh, The King's Buildings, Edinburgh EH9 3JZ, August 1987."},{"key":"31_CR9","volume-title":"Strategies for Real-Time System Specification","author":"D.J. Hatley","year":"1987","unstructured":"Hatley, D.J.: Pirbhai, I.A.: Strategies for Real-Time System Specification. Dorset House Publishing, New York, 1987."},{"key":"31_CR10","volume-title":"EATCS Monographs on Theoretical Computer Science","author":"K. Jensen","year":"1992","unstructured":"Jensen, K.: Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use, Volume 1. EATCS Monographs on Theoretical Computer Science, Springer-Verlag, Berlin, 1992."},{"key":"31_CR11","volume-title":"Essential Systems Analysis","author":"S.M. McMemamin","year":"1984","unstructured":"McMemamin, S.M.; Palmer, J.F.: Essential Systems Analysis. Yourdon Press, New York, 1984."},{"key":"31_CR12","volume-title":"Petri Net Theory and the Modeling of Systems","author":"J.L. Peterson","year":"1981","unstructured":"Peterson, J.L.: Petri Net Theory and the Modeling of Systems; Prentice Hall Inc., Engel wood Cliffs, N.J. 07632, 1981."},{"key":"31_CR13","unstructured":"Wikstr\u00f6m, \u00c5.: Functional Programming using Standard ML. Prentice-Hall International Series in Computer Science, 1987. ISBN 0-13-331968-7, ISBN 0-13-331661-0 Pbk."}],"container-title":["Lecture Notes in Computer Science","Application and Theory of Petri Nets 1993"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-56863-8_66.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:06:24Z","timestamp":1605647184000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-56863-8_66"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540568636","9783540477594"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-56863-8_66","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}