{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,24]],"date-time":"2025-05-24T07:47:17Z","timestamp":1748072837174},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540635338"},{"type":"electronic","value":"9783540695936"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/3-540-63533-5_9","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T18:29:46Z","timestamp":1330280986000},"page":"162-181","source":"Crossref","is-referenced-by-count":4,"title":["An M-Net semantics for a real-time extension of \u00b5SDL"],"prefix":"10.1007","author":[{"given":"Hans","family":"Fleischhack","sequence":"first","affiliation":[]},{"given":"Josef","family":"Tapken","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"key":"9_CR1","unstructured":"P. Amthor, H. Fleischhack, and J. Tapken: MOBY \u2014 more than a Tool for the Verification of SDL-Specifications, Research Paper, Universit\u00e4t Oldenburg, 1996."},{"key":"9_CR2","unstructured":"F. Bause and P. Buchholz, Protocol Analysis Using a Timed Version of SDL, in J. Quemada, J. Ma\u00f1as, and E. Vazquez (Eds.), Formal Description Techniques, III, pp. 269\u2013285, North-Holland, 1991."},{"issue":"3","key":"9_CR3","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1109\/32.75415","volume":"17","author":"B. Berthomieu","year":"1991","unstructured":"B. Berthomieu and M. Diaz, Modelling and Verification of Time Dependent Systems Using Time Petri Nets, IEEE Transactions on Software Engineering, Volume 17\/3, pages 259\u2013273 (1991).","journal-title":"IEEE Transactions on Software Engineering"},{"key":"9_CR4","unstructured":"E. Best, Partial Order Verification with PEP, Report HIB 26\/96, Universit\u00e4t Hildesheim, 1996."},{"key":"9_CR5","doi-asserted-by":"crossref","unstructured":"E. Best, R. Devillers, and J. G. Hall. The box calculus: a New Causal Algebra With Multi-Label Communication. In G. Rozenberg, (Ed.); Advances in Petri Nets 92, Volume 609 of Lecture Notes in Computer Science, pages 21\u201369. Springer, 1992.","DOI":"10.1007\/3-540-55610-9_167"},{"key":"9_CR6","doi-asserted-by":"crossref","unstructured":"E. Best, H. Fleischhack, W. Fraczak, R. P. Hopkins, H. Klaudel, and E. Pelz. A Class of Composable High Level Petri Nets. In G. De Michelis and M. Diaz, (Eds.), Application and Theory of Petri Nets 1995, Volume 935 of Lecture Notes in Computer Science, pages 103\u2013118. Springer, 1995.","DOI":"10.1007\/3-540-60029-9_36"},{"key":"9_CR7","doi-asserted-by":"crossref","unstructured":"E. Best, H. Fleischhack, W. Fraczak, R. P., H. Mandel, and E. Pelz. An M-net Semantics of B(PN)2. In J. Desel, (Ed.), Structures in Concurrency Theory, Workshops in Computing, Springer, 1995.","DOI":"10.1007\/978-1-4471-3078-9_6"},{"key":"9_CR8","unstructured":"CCITT. Specification and Description Language, CCITT Z.100, International Consultative Committee on Telegraphy and Telephony, Geneva, 1992."},{"key":"9_CR9","doi-asserted-by":"crossref","unstructured":"J. Esparza. Model Checking Using Net Unfoldings, Science of Computer Programming, Volume 23, pages 151\u2013195, Elsevier, 1994.","DOI":"10.1016\/0167-6423(94)00019-0"},{"key":"9_CR10","unstructured":"H. Fleischhack, and B. Grahlmann, Towards Compositional Verification of SDL Systems, Research Paper, 1997. (submitted)"},{"key":"9_CR11","doi-asserted-by":"crossref","unstructured":"B. Grahlmann and E. Best: PEP-More Than a Petri Net Tool. In T. Margaria and B. Steffen, (Eds.), Tools and Algorithms for the Construction and Analysis of Systems, Volume 1055 of Lecture Notes in Computer Science, pages 397\u2013401, Springer, 1996.","DOI":"10.1007\/3-540-61042-1_58"},{"key":"9_CR12","unstructured":"J. Henriksen e.a., MONA: Monadic Second-Order Logic in Practice, in Brinksma, Cleaveland, Larsen, Margaria, and Steffen, (Eds.) TACAS '95, Tools and Algorithms for The Construction and Analysis of Systems, Volume 1019 of Lecture Notes in Computer Science, pages 89\u2013110, Springer, 1995."},{"key":"9_CR13","series-title":"Research Paper","volume-title":"Specifying Real-Time Requirements for SDL Specifications \u2014 a Temporal Logic-Based Approach","author":"S. Leue","year":"1996","unstructured":"S. Leue, Specifying Real-Time Requirements for SDL Specifications \u2014 a Temporal Logic-Based Approach, Research Paper, University of Waterloo, Canada, 1996."},{"key":"9_CR14","doi-asserted-by":"crossref","first-page":"1036","DOI":"10.1109\/TCOM.1976.1093424","volume":"24","author":"P. Merlin","year":"1976","unstructured":"P. Merlin and D. Farber, Recoverability of Communication Protocols \u2014 Implication of a Theoretical Study, IEEE Transactions on Software Communications Vol. 24, 1036\u20131043 (1976).","journal-title":"IEEE Transactions on Software Communications"},{"key":"9_CR15","unstructured":"L. Popova: On Time Petri Nets. Journal of Information Processing and Cybernetics, Volume 1055 of Lecture Notes in Computer Science, Springer, 1991."}],"container-title":["Lecture Notes in Computer Science","FME '97: Industrial Applications and Strengthened Foundations of Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-63533-5_9.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T16:18:57Z","timestamp":1605629937000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-63533-5_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540635338","9783540695936"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-63533-5_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}