{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T14:18:25Z","timestamp":1775053105010,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540646778","type":"print"},{"value":"9783540691082","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/3-540-69108-1_9","type":"book-chapter","created":{"date-parts":[[2007,8,6]],"date-time":"2007-08-06T18:45:11Z","timestamp":1186425911000},"page":"144-164","source":"Crossref","is-referenced-by-count":11,"title":["A Compositional Petri Net Semantics for SDL"],"prefix":"10.1007","author":[{"given":"Hans","family":"Fleischhack","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bernd","family":"Grahlmann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2000,3,3]]},"reference":[{"key":"9_CR1","unstructured":"P. Amthor, H. Fleischhack, and J. Tapken. MOBY \u2014 more than a Tool for the Verification of SDL-Specifications. Technical Report, Universit\u00e4t Oldenburg, 1996."},{"key":"9_CR2","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1007\/3-540-60029-9_36","volume-title":"Proc. of ATPN\u201995 (Application and Theory of Petri Nets), Torino","author":"E. Best","year":"1995","unstructured":"E. Best, H. Fleischhack, W. Fr\u0105czak, R. P. Hopkins, H. Klaudel, and E. Pelz. A Class of Composable High Level Petri Nets. In G. De Michelis and M. Diaz, editors, Proc. of ATPN\u201995 (Application and Theory of Petri Nets), Torino, volume 935 of LNCS, pages 103\u2013118. Springer, June 1995."},{"key":"9_CR3","doi-asserted-by":"crossref","unstructured":"E. Best. Partial Order Verification with PEP. In G. Holzmann, D. Peled, and V. Pratt, editors, Proc. of POMIV\u201996 (Partial Order Methods in Verification. Am. Math. Soc., 1996.","DOI":"10.1090\/dimacs\/029\/17"},{"key":"9_CR4","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1007\/3-540-55610-9_167","volume-title":"Advances in Petri Nets 92","author":"E. Best","year":"1992","unstructured":"E. Best, R. Devillers, and J. G. Hall. The Box Calculus: a New Causal Algebra with Multi-Label Communication. In G Rozenberg, editor, Advances in Petri Nets 92, volume 609 of LNCS, pages 21\u201369. Springer-Verlag, 1992."},{"key":"9_CR5","unstructured":"E. Best and B. Grahlmann. PEP: Documentation and User Guide. Universit\u00e4t Oldenburg., 1998. Availabe together with the tool via: http:\/\/www.theoretica.informatik.uni-oldenburg.de\/pep ."},{"key":"9_CR6","unstructured":"CCITT. Specification and Description Language, CCITT Z.100, Geneva. International Consultative Committee on Telegraphy and Telephony, 1992."},{"key":"9_CR7","unstructured":"J. Fischer, E. Dimitrov, and U. Taubert. Analysis and Formal Verification of SDL\u201992 Specifications using Extended Petri Nets. Technical report, Humboldt-Universit\u00e4t zu Berlin, 1995."},{"key":"9_CR8","doi-asserted-by":"crossref","unstructured":"H. Fleischhack and B. Grahlmann. A Compositional Petri Net Semantics for SDL. Technical report, Universit\u00e4t Hildesheim, November 1997.","DOI":"10.1007\/3-540-69108-1_9"},{"key":"9_CR9","doi-asserted-by":"crossref","unstructured":"H. Fleischhack and B. Grahlmann. A Petri Net Semantics for B(PN)2 with Procedures. In Proc. of PDSE\u201997 (Parallel and Distributed Software Engineering), pages 15\u201327. IEEE Computer Society, May 1997.","DOI":"10.1109\/PDSE.1997.596823"},{"key":"9_CR10","doi-asserted-by":"crossref","unstructured":"H. Fleischhack and B. Grahlmann. Towards Compositional Verification of SDL Systems. In Proc. of 31st HICSS (Hawaii International Conference on System Science) \u2014 Software Technology Track, pages 404\u2013414. IEEE Computer Society, January 1998.","DOI":"10.1109\/HICSS.1998.649235"},{"key":"9_CR11","series-title":"Lect Notes Comput Sci","volume-title":"Proc. of FME\u201997","author":"H. Fleischhack","year":"1997","unstructured":"H. Fleischhack and J. Tapken. An M-Net Semantics for a Real-Time Extension of \u00b5SDL. In Proc. of FME\u201997, LNCS. Springer-Verlag, 1997."},{"key":"9_CR12","unstructured":"J. Grabowski. Statische und dynamische Analysen f\u00fcr SDL-Spezifikationen auf der Basis von Petri-Netzen und Sequence-Charts. Diplomarbeit, Universit\u00e4t Hamburg, 1990."},{"key":"9_CR13","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"440","DOI":"10.1007\/3-540-63166-6_43","volume-title":"Proc. of CAV\u201997 (Computer Aided Verification)","author":"B. Grahlmann","year":"1997","unstructured":"B. Grahlmann. The PEP Tool. In Orna Grumberg, editor, Proc. of CAV\u201997 (Computer Aided Verification), volume 1254 of LNCS, pages 440\u2013443. Springer-Verlag, June 1997."},{"key":"9_CR14","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1007\/BFb0035381","volume-title":"Proc. of TACAS\u201997 (Tools and Algorithms for the Construction and Analysis of Systems)","author":"B. Grahlmann","year":"1997","unstructured":"B. Grahlmann. The Reference Component of PEP. In Ed Brinksma, editor, Proc. of TACAS\u201997 (Tools and Algorithms for the Construction and Analysis of Systems), volume 1217 of LNCS, pages 65\u201380. Springer-Verlag, April 1997."},{"key":"9_CR15","unstructured":"B. Grahlmann. Parallel Programs as Petri Nets. Ph.D. thesis, Universit\u00e4t Hildesheim, 1998."},{"key":"9_CR16","unstructured":"N. Husberg, M. Malmquist, and T. Jyrinki. Emma: An SDL Analyzer Using High Level Petri Nets. Technical report, Helsinki University of Technology, 1996."},{"key":"9_CR17","unstructured":"K. Varpaaniemi, J Halme, K Hiekkanen, and T Pyssysalo. PROD Reference Manual. Technical report 13, Helsinki University of Technology, August 1995."}],"container-title":["Lecture Notes in Computer Science","Application and Theory of Petri Nets 1998"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-69108-1_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T04:42:11Z","timestamp":1737348131000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-69108-1_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540646778","9783540691082"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-69108-1_9","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[1998]]}}}