{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,2]],"date-time":"2025-08-02T19:06:21Z","timestamp":1754161581650,"version":"3.41.2"},"reference-count":20,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2002,7,1]],"date-time":"2002-07-01T00:00:00Z","timestamp":1025481600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2002,7,1]],"date-time":"2002-07-01T00:00:00Z","timestamp":1025481600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Discrete Event Dynamic Systems"],"published-print":{"date-parts":[[2002,7]]},"DOI":"10.1023\/a:1015621532472","type":"journal-article","created":{"date-parts":[[2002,12,28]],"date-time":"2002-12-28T19:22:22Z","timestamp":1041103342000},"page":"287-309","source":"Crossref","is-referenced-by-count":4,"title":["Design and Implementation of Discrete Event Control Systems: A Petri Net Based Hardware Approach"],"prefix":"10.1007","volume":"12","author":[{"given":"S.","family":"Bulach","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Brauchle","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"H.-J.","family":"Pfleiderer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Z.","family":"Kucerovsky","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"406979_CR1","unstructured":"Bennett, S. 1994. Real-time Computer Control: An Introduction. 2nd edn., Chapter 1, Prentice Hall."},{"key":"406979_CR2","doi-asserted-by":"crossref","unstructured":"Boel, R., and Stremersch, G. (eds) 2000. Discrete Event Systems: Analysis and Control. Kluwer Academic Publishers.","DOI":"10.1007\/978-1-4615-4493-7"},{"key":"406979_CR3","first-page":"31","volume-title":"Proceedings of the Workshop on Practical Use of Colored Petri nets and Design\/CPN","author":"S. Bulach","year":"1998","unstructured":"Bulach, S., Baur, H., Pfleiderer, H.-J., and Kucerovsky, Z. 1998. ALPiNe: A hardware computing platform for high-level Petri nets. In K. Jensen (ed.), Proceedings of the Workshop on Practical Use of Colored Petri nets and Design\/CPN, Computer Science Department, Denmark: Aarhus University, pp. 31-45."},{"key":"406979_CR4","doi-asserted-by":"crossref","unstructured":"Bulach, S., Baur, H., Pfleiderer, H.-J., and Kucerovsky, Z. 2000. Design of discrete event systems using Petri nets and a dedicated controller. In S. Kozak and M. Huba, (eds), Proceedings of the IFAC Conference on Control System Design, Elsevier Science Ltd, pp. 317-322.","DOI":"10.1016\/S1474-6670(17)37208-7"},{"key":"406979_CR5","doi-asserted-by":"crossref","unstructured":"Bulach, S., Brauchle, A., Pfleiderer, H.-J., and Kucerovsky, Z. 2000. An architecture of a Petri net based event-driven controller. In R. Boel and G. Stremersch, (eds), Discrete Event Systems: Analysis and Control, Kluwer Academic Publishers, pp. 383-390.","DOI":"10.1007\/978-1-4615-4493-7_40"},{"key":"406979_CR6","doi-asserted-by":"crossref","unstructured":"Bulach, S., Brauchle, A., Pfleiderer, H.-J., and Kucerovsky, Z. 2001. Petri net based design and implementation methodology for discrete event control systems. In J.-M. Colom and M. Koutny, (eds), Applications and Theory of Petri nets 2001, Lecture Notes in Computer Science, 2075: 81-100, Springer-Verlag.","DOI":"10.1007\/3-540-45740-2_7"},{"key":"406979_CR7","unstructured":"Cassandras, C. G. 1993. Discrete Event Systems: Modeling and Performance Analysis Chapters 1, 2. Richard D. Irwin, Inc., and Aksen Associates, Inc."},{"key":"406979_CR8","doi-asserted-by":"crossref","unstructured":"Crockett, D., Desrochers, A., DiCesare, F., and Ward, T. 1987. Implementation of a Petri net controller for a machining workstation. Proceedings of the IEEE International Conference on Robotics and Automation 1861-1867.","DOI":"10.1109\/ROBOT.1987.1087773"},{"key":"406979_CR9","first-page":"447","volume-title":"NATO ASI Series: Logics and Models of Concurrent Systems","author":"D. Harel","year":"1985","unstructured":"Harel, D., and Pnueli, A. 1985. On the development of reactive systems. In K. R. Apt, (ed.), NATO ASI Series: Logics and Models of Concurrent Systems 13, Berlin: Springer-Verlag, pp. 447-498."},{"key":"406979_CR10","volume-title":"IEEE Standard VHDL Language Reference Manual (ANSI)","author":"IEEE Design Automation Standards Committee","year":"1993","unstructured":"IEEE Design Automation Standards Committee 1993. IEEE Standard VHDL Language Reference Manual (ANSI). New York: IEEE."},{"key":"406979_CR11","unstructured":"Jensen, K. 1997. Colored Petri nets: Basic Concepts, Analysis Methods and Practical Use, 2. Springer-Verlag."},{"key":"406979_CR12","first-page":"697","volume":"2","author":"H. Murakoshi","year":"1990","unstructured":"Murakoshi, H., and Dohi, J. 1990. Petri net based high speed programmable controller by ASIC memory. Proceeding of 29th Annual SICE Conference 2: 697-700.","journal-title":"Proceeding of 29th Annual SICE Conference"},{"issue":"4","key":"406979_CR13","doi-asserted-by":"crossref","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T. Murata","year":"1989","unstructured":"Murata, T. 1989. Petri nets: properties, analysis and applications. Proceedings of the IEEE 77(4), 541-580.","journal-title":"Proceedings of the IEEE"},{"key":"406979_CR14","first-page":"542","volume":"1","author":"A. Nketsa","year":"1990","unstructured":"Nketsa, A., and Courvoisier, M. 1990. A Petri net based single chip programmable controller for distributed local controls. Proceedings of Signal Processing and System Control Factory Automation IECON 1: 542-547.","journal-title":"Proceedings of Signal Processing and System Control Factory Automation IECON"},{"key":"406979_CR15","volume-title":"Computation Structures Group Memo 73","author":"S. S. Patil","year":"1972","unstructured":"Patil, S. S. 1972. Circuit implementation of Petri nets. Computation Structures Group Memo 73 MIT Project MAC, Cambridge: Massachusetts."},{"key":"406979_CR16","first-page":"17","volume-title":"Microarchitecture of Computer Systems, EUROMICRO 1975","author":"S. S. Patil","year":"1975","unstructured":"Patil, S. S. 1975. Micro-control for parallel asynchronous computers. In R. W. Hartenstein and R. Zaks, (eds), Microarchitecture of Computer Systems, EUROMICRO 1975, North-Holland: Amsterdam, pp. 17-24."},{"key":"406979_CR17","volume-title":"Petri net Theory and the Modeling of Systems","author":"J. L. Peterson","year":"1981","unstructured":"Peterson, J. L. 1981. Petri net Theory and the Modeling of Systems. Prentice-Hall: Englewood Cliffs, N.J."},{"key":"406979_CR18","unstructured":"Petri, C. A. 1962. Kommunication mit Automaten. Ph.D. Dissertation, University of Bonn, Schrift Nr. 2."},{"key":"406979_CR19","unstructured":"Valette, R., Courvoisier, M., Bigou, J. M., and Albukerque, J. 1983. A Petri net based programmable logic controller. In E. A. Warman, (ed.), Proceedings of the 1st International IFIP Conference on Computer Applications in Production and Engineering. North-Holland, pp. 103-116."},{"key":"406979_CR20","doi-asserted-by":"crossref","unstructured":"Yakovlev, A., and Koelmans, A. M. 1998. Petri nets and digital hardware design. In W. Reisig and G. Rozenberg, (eds), Lectures on Petri nets II: Applications, Lecture Notes in Computer Science 1492: 154-236, Springer-Verlag.","DOI":"10.1007\/3-540-65307-4_49"}],"container-title":["Discrete Event Dynamic Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1015621532472.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1015621532472\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1015621532472.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,29]],"date-time":"2025-07-29T04:14:58Z","timestamp":1753762498000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1015621532472"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,7]]},"references-count":20,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2002,7]]}},"alternative-id":["406979"],"URL":"https:\/\/doi.org\/10.1023\/a:1015621532472","relation":{},"ISSN":["0924-6703","1573-7594"],"issn-type":[{"type":"print","value":"0924-6703"},{"type":"electronic","value":"1573-7594"}],"subject":[],"published":{"date-parts":[[2002,7]]}}}