{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,30]],"date-time":"2025-07-30T15:06:51Z","timestamp":1753888011256},"publisher-location":"Berlin, Heidelberg","reference-count":17,"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_7","type":"book-chapter","created":{"date-parts":[[2007,11,15]],"date-time":"2007-11-15T15:30:51Z","timestamp":1195140651000},"page":"81-100","source":"Crossref","is-referenced-by-count":1,"title":["Petri Net Based Design and Implementation Methodology for Discrete Event Control Systems"],"prefix":"10.1007","author":[{"given":"Slavek","family":"Bulach","sequence":"first","affiliation":[]},{"given":"Anton","family":"Brauchle","sequence":"additional","affiliation":[]},{"given":"Hans-J\u00f6rg","family":"Pfleiderer","sequence":"additional","affiliation":[]},{"given":"Zdenek","family":"Kucerovsky","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,6,28]]},"reference":[{"key":"7_CR1","first-page":"31","volume-title":"Proceedings of the Workshop on Practical Use of Coloured Petri Nets and Design\/CPN","author":"S. Bulach","year":"1998","unstructured":"Bulach, S., Baur, H., Pfleiderer, H.-J., Kucerovsky, Z.: ALPiNe: A Hardware Computing Platform for High-Level Petri Nets. In: Jensen, K. (ed.): Proceedings of the Workshop on Practical Use of Coloured Petri Nets and Design\/CPN, Computer Science Department, Aarhus University, Denmark (1998) 31\u201345"},{"doi-asserted-by":"crossref","unstructured":"Bulach, S., Baur, H., Pfleiderer, H.-J., Kucerovsky, Z.: Design of Discrete Event Systems Using Petri Nets and a Dedicated Controller. Proceedings of the IFAC Conference on Control System Design. Elsevier Science Ltd. (2000) 317\u2013322","key":"7_CR2","DOI":"10.1016\/S1474-6670(17)37208-7"},{"doi-asserted-by":"crossref","unstructured":"Bulach, S., Brauchle, A., Pfleiderer, H.-J., Kucerovsky, Z.: An Architecture of a Petri Net Based Event-Driven Controller. In: Boel, R., Stremersch, G. (eds.): Discrete Event Systems: Analysis and Control. Kluwer Academic Publishers. (2000) 383\u2013390","key":"7_CR3","DOI":"10.1007\/978-1-4615-4493-7_40"},{"unstructured":"Cassandras, C.G.: Discrete Event Systems: Modeling and Performance Analysis. Richard D. Irwin, Inc., and Aksen Associates, Inc. (1993)","key":"7_CR4"},{"unstructured":"Crockett, D., Desrochers, A., DiCesare, F., Ward, T.: Implementation of a Petri Net Controller for a MachiningWorkstation. Proceedings of the IEEE International Conference on Robotics and Automation. (1987) 1861\u20131867","key":"7_CR5"},{"doi-asserted-by":"crossref","unstructured":"Harel, D., Pnueli, A.: On the Development of Reactive Systems. In: Apt, K.R. (ed.): NATO ASI Series: Logics and Models of Concurrent Systems. Springer-Verlag 13(1985) 447\u2013498","key":"7_CR6","DOI":"10.1007\/978-3-642-82453-1_17"},{"doi-asserted-by":"crossref","unstructured":"Jensen, K.: Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Springer-Verlag 1 (1997)","key":"7_CR7","DOI":"10.1007\/978-3-642-60794-3"},{"key":"7_CR8","first-page":"697","volume":"II","author":"H. Murakoshi","year":"1990","unstructured":"Murakoshi, H., Dohi, J.: Petri Net Based High Speed Programmable Controller by ASIC Memory. Proceeding of 29th Annual SICE Conference II (1990) 697\u2013700","journal-title":"Proceeding of 29th Annual SICE Conference"},{"issue":"4","key":"7_CR9","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T. Murata","year":"1989","unstructured":"Murata, T.: Petri Nets: Properties, Analysis and Applications. Proceedings of the IEEE 77(4) (1989) 541\u2013580","journal-title":"Proceedings of the IEEE"},{"key":"7_CR10","first-page":"542","volume":"1","author":"A. Nketsa","year":"1990","unstructured":"Nketsa, A., Courviosier, M.: A Petri Net Based Single Chip Programmable Controller for Distributed Local Controls. Proceedings of Signal Processing and System Control Factory Automation IECON 1 (1990) 542\u2013547","journal-title":"Proceedings of Signal Processing and System Control Factory Automation IECON"},{"key":"7_CR11","volume-title":"Computation Structures Group Memo","author":"S.S. Patil","year":"1972","unstructured":"Patil, S.S.: Circuit Implementation of Petri Nets. Computation Structures Group Memo 73, MIT Project MAC, Cambridge, Massachusetts (1972)"},{"key":"7_CR12","volume-title":"Computation Structures Group Memo","author":"S.S. Patil","year":"1975","unstructured":"Patil, S.S.: An Asynchronous Logic Array. Computation Structures Group Memo 111, MIT Project MAC, Cambridge, Massachusetts (1975)"},{"key":"7_CR13","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, Englewood Cliffs, N.J. (1981)"},{"key":"7_CR14","series-title":"Ph.D. Dissertation","volume-title":"Kommunikation mit Automaten","author":"C.A. Petri","year":"1962","unstructured":"Petri, C.A.: Kommunikation mit Automaten. Ph.D. Dissertation, University of Bonn, Schrift Nr.2. (1962)"},{"key":"7_CR15","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1007\/3-540-65307-4_47","volume-title":"Lectures on Petri Nets II: Applications","author":"M. Silva","year":"1998","unstructured":"Silva, M., Teruel, E., Valette, R., Pingaud, H.: Petri Nets and Production Systems In: Reisig, W., Rozenberg, G. (eds.): Lectures on Petri Nets II: Applications. Lecture Notes in Computer Science, Vol. 1492. Springer-Verlag (1998) 85\u2013124"},{"unstructured":"Valette, R., Courviosier, M., Bigou, JM., Albukerque, J.: A Petri Net Based Programmable Logic Controller. In: Warman, E.A., (ed.): Proceedings of the 1st International IFIP Conference on Computer Applications in Production and Engineering, North-Holland. (1983) 103\u2013116","key":"7_CR16"},{"key":"7_CR17","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"154","DOI":"10.1007\/3-540-65307-4_49","volume-title":"Lectures on Petri Nets II: Applications","author":"A. Yakovlev","year":"1998","unstructured":"Yakovlev, A., Koelmans, A.: Petri Nets and Digital Hardware Design. In: Reisig, W., Rozenberg, G. (eds.): Lectures on Petri Nets II: Applications. Lecture Notes in Computer Science, Vol. 1492. Springer-Verlag (1998) 154\u2013236"}],"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_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,4]],"date-time":"2019-05-04T13:17:31Z","timestamp":1556975851000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45740-2_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540422525","9783540457404"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-45740-2_7","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}