{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:10:33Z","timestamp":1725495033944},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540422525"},{"type":"electronic","value":"9783540457404"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45740-2_20","type":"book-chapter","created":{"date-parts":[[2007,11,15]],"date-time":"2007-11-15T15:30:51Z","timestamp":1195140651000},"page":"343-362","source":"Crossref","is-referenced-by-count":7,"title":["Pr\/T-Net Based Seamless Design of Embedded Real-Time Systems"],"prefix":"10.1007","author":[{"given":"Carsten","family":"Rust","sequence":"first","affiliation":[]},{"given":"J\u00fcrgen","family":"Tacken","sequence":"additional","affiliation":[]},{"given":"Carsten","family":"B\u00f6ke","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,6,28]]},"reference":[{"key":"20_CR1","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"307","DOI":"10.1007\/3-540-61363-3_17","volume-title":"Applications and Theory of Petri Nets","author":"B. Kleinjohann","year":"1996","unstructured":"B. Kleinjohann, E. Kleinjohann, and J. Tacken. The SEA Language for System Engineering and Animation. In Applications and Theory of Petri Nets, LNCS 1091, pages 307\u2013326. Springer Verlag, 1996."},{"issue":"4","key":"20_CR2","doi-asserted-by":"publisher","first-page":"403","DOI":"10.1109\/32.54292","volume":"16","author":"D. Harel","year":"1990","unstructured":"D. Harel. STATEMATE: A Working Environment for the Development of Complex Reactive Systems. In IEEE Transactions on Software Engineering, volume 16(4), pages 403\u2013414, 1990.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"20_CR3","unstructured":"The MathWorks Inc. Stateflow User\u2019s Guide, 1999."},{"key":"20_CR4","unstructured":"Telelogic AB. SDT 3.1 Reference Manual, 1996."},{"key":"20_CR5","series-title":"Lect Notes Comput Sci","volume-title":"Proceedings of the COMPOS\u201997","author":"W. Damm","year":"1998","unstructured":"W. Damm, B. Josko, H. Hungar, and A. Pnueli. A compositional real-time semantics of STATEMATE designs. In Proceedings of the COMPOS\u201997, volume 1536 of LNCS. Springer-Verlag, 1998."},{"key":"20_CR6","first-page":"331","volume-title":"Specification and Validation Methods","author":"W. Damm","year":"1995","unstructured":"W. Damm, B. Josko, and R. Schloer. Specification and verification of VHDL-based system-level hardware designs. In E. B\u00f6rger, editor, Specification and Validation Methods, pages 331\u2013409. Oxford University Press, UK, 1995."},{"key":"20_CR7","unstructured":"T. Filkorn. Applications of Formal Verification in Industrial Automation and Telecommunication. In Proc.of the Workshop on Formal Design of Safety Critical Embedded Systems, 1997."},{"key":"20_CR8","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"467","DOI":"10.1007\/3-540-61648-9_58","volume-title":"Proceedings FTRTFT\u201996-Formal Techniques in Real-Time and Fault-Tolerant Systems","author":"F. Huber","year":"1996","unstructured":"F. Huber, B. Sch\u00e4tz, A. Schmidt, and K. Spies. AutoFocus-A Tool for Distributed Systems Specification. In Proceedings FTRTFT\u201996-Formal Techniques in Real-Time and Fault-Tolerant Systems, P.467\u2013470. Springer Verlag, LNCS 1135, 1996."},{"key":"20_CR9","series-title":"ERL Technical Report","volume-title":"Overview of the Ptolemy Project","author":"J. Davis II","year":"1999","unstructured":"J. Davis II et al. Overview of the Ptolemy Project. ERL Technical Report M99\/37, Dept. EECS, University of California, Berkeley, CA 94720, July 1999."},{"key":"20_CR10","unstructured":"F. Balarin et al. POLIS A design environment for control-dominated embedded systems, version 0.4. University of California, Berkeley, http:\/\/wwwcad. eecs.berkeley.edu\/polis\/ , 1999."},{"key":"20_CR11","unstructured":"R. Esser. CodeSign, Version 1.0, Concepts and Tutorial. Computer Engineering and Networks Laboratory, Swiss Federal Institute of Technology, Z\u00fcrich, 1996."},{"key":"20_CR12","doi-asserted-by":"crossref","unstructured":"B. Kleinjohann, J. Tacken, and C. Tahedl. Towards a Complete Design Method for Embedded Systems Using Predicate\/Transition-Nets. In Proc.of the XIII IFIP WG 10.5 Conference on Computer Hardware Description Languages and Their Applictations (CHDL-97), pages 4\u201323, Toledo, Spain, April 1997. Chapman & Hall.","DOI":"10.1007\/978-0-387-35064-6_2"},{"key":"20_CR13","doi-asserted-by":"crossref","unstructured":"C. Rust, F. Stappert, P. Altenbernd, and J. Tacken. From High-Level Specifications down to Software Implementations of Parallel Embedded Real-Time Systems. In Proceedings of DATE 2000, Paris, France, March 2000.","DOI":"10.1145\/343647.343894"},{"key":"20_CR14","doi-asserted-by":"crossref","unstructured":"G. Lehrenfeld, R. Naumann, R. Rasche, C. Rust, and J. Tacken. Integrated Design and Simulation of Hybrid Systems. In International Workshop on Hybrid Systems: Computation and Control, Berkeley, California, April 1998.","DOI":"10.1007\/3-540-64358-3_42"},{"key":"20_CR15","unstructured":"C. Rust, J. Stroop, and J. Tacken. The Design of Embedded Real-Time Systems using the SEA Environment. In Proc.of the 5th Annual Australasian Conference on Parallel And Real-Time Systems, Adelaide, Australia, September 1998."},{"key":"20_CR16","doi-asserted-by":"crossref","unstructured":"B. Kleinjohann, C. Rust, and J. Tacken. Entwurf von autonomen Systemen mit High Level Petrinetzen. In 16.F achgespr\u00e4ch Autonome Mobile Systeme (AMS\u20192000), Karlsruhe, Germany, September 2000.","DOI":"10.1007\/978-3-642-59576-9_32"},{"key":"20_CR17","series-title":"Lect Notes Comput Sci","volume-title":"International Conference on Applications and Theory of Petri Nets","author":"G. Findlow","year":"1992","unstructured":"G. Findlow. Obtaining Deadlock-Preserving Skeletons for Coloured Nets. In International Conference on Applications and Theory of Petri Nets, volume 616 of Lecture Notes in Computer Science, Sheffield, UK, 1992. Springer-Verlag."},{"key":"20_CR18","series-title":"Lect Notes Comput Sci","volume-title":"Advances in Petri Nets 1987","author":"J. Vautherin","year":"1987","unstructured":"J. Vautherin. Parallel system specifications with Coloured Petri Nets and algebraic specifications. In G. Rozenberg, editor, Advances in Petri Nets 1987, volume 266 of Lecture Notes in Computer Science. Springer-Verlag, 1987."},{"key":"20_CR19","unstructured":"J. Tacken. Eine Pr\/T-Netz basierte, durchg\u00e4ngige Entwurfsmethodik f\u00fcr eingebettete Realzeitsysteme. PhD thesis, Universit\u00e4t Paderborn, FB 17, 2000."},{"key":"20_CR20","doi-asserted-by":"crossref","unstructured":"N. Halbwachs. Synchronous programming of reactive systems. Kluwer Academic Pub., 1993.","DOI":"10.1007\/978-1-4757-2231-4"},{"key":"20_CR21","unstructured":"P. Altenbernd. CHaRy: The C-LAB Hard Real-Time System to Support Mechatronical Design. In Proc.of the International Conference on Engineering of Computer Based Systems (ECBS-97), Monterey, California, March 1997."},{"key":"20_CR22","doi-asserted-by":"crossref","unstructured":"R. Preis and R. Diekmann. PARTY-A Software Library for Graph Partitioning. In B.H.V. Topping, editor, Advances in Computational Mechanics with Parallel and Distributed Processing, pages 63\u201371. Civil-Comp Press, 1997.","DOI":"10.4203\/ccp.45.3.1"},{"key":"20_CR23","unstructured":"Olivier Maffe\u00efs and Axel Poign\u00e9. Synchronous automata for reactive, real-time and embedded systems. Arbeitspapiere der GMD, No.967, January 1996."},{"key":"20_CR24","unstructured":"C. B\u00f6ke, M. H\u00fcbel, F. J. Rammig, and C. Rust. Zero-Overhead Pr\/T-Net Execution. In Proc.of the SCS International European Simulation Multi-Conference (ESM), Gent, Belgium, May 23-26 2000."},{"key":"20_CR25","doi-asserted-by":"crossref","unstructured":"W. Schr\u00f6der-Preikschat, U. Spinczyk, F. Sch\u00f6n, and O. Spinczyk. Design rationale of the pure object-oriented embedded operating system. In Proc.of the Workshop on Distributed and Parallel Embedded Systems. IFIP, 1999.","DOI":"10.1007\/978-0-387-35570-2_21"},{"key":"20_CR26","unstructured":"B. Ford, K. Van Maren, J. Lepreau, S. Clawson, B. Robinson, and J. Turner. The Flux OS Toolkit: Reusable Components for OS Implementation. In Proc.of the 6th Workshop on Hot Topics in Operating Systems, May 1997."},{"key":"20_CR27","series-title":"Ph.d. thesis","volume-title":"Towards Operating System Synthesis","author":"C. Ditze","year":"1999","unstructured":"C. Ditze. Towards Operating System Synthesis. Ph.d. thesis, Paderborn University, FB17, Paderborn, Germany, 1999."}],"container-title":["Lecture Notes in Computer Science","Applications and Theory of Petri Nets 2001"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45740-2_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,4]],"date-time":"2019-05-04T13:17:36Z","timestamp":1556975856000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45740-2_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540422525","9783540457404"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/3-540-45740-2_20","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}