{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,22]],"date-time":"2025-02-22T05:26:42Z","timestamp":1740202002962,"version":"3.37.3"},"reference-count":37,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2010,5,30]],"date-time":"2010-05-30T00:00:00Z","timestamp":1275177600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Discrete Event Dyn Syst"],"published-print":{"date-parts":[[2011,6]]},"DOI":"10.1007\/s10626-010-0090-7","type":"journal-article","created":{"date-parts":[[2010,5,29]],"date-time":"2010-05-29T05:26:14Z","timestamp":1275110774000},"page":"139-169","source":"Crossref","is-referenced-by-count":6,"title":["Performance Evaluation of Petri nets Centralized Implementation. The Execution Time Controller"],"prefix":"10.1007","volume":"21","author":[{"given":"Ram\u00f3n","family":"Piedrafita","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jos\u00e9 Luis","family":"Villarroel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2010,5,30]]},"reference":[{"key":"90_CR1","unstructured":"Aicas G (2007) JamaicaVM realtime Java technology"},{"key":"90_CR2","unstructured":"Bako B (1990) Mise en oeuvre et simulation du niveau coordination de la commande des ateliers flexibles, une approche mixte reseaux de Petri et systemes de regles. Universit\u00e9 Paul Sabatier: Toulouse"},{"key":"90_CR3","doi-asserted-by":"crossref","first-page":"725","DOI":"10.1109\/TCST.2006.890281","volume":"15","author":"F Basile","year":"2007","unstructured":"Basile F, Chiacchio P (2007) On the implementation of supervised control of discrete event systems. IEEE Trans Control Syst Technol 15:725\u2013739","journal-title":"IEEE Trans Control Syst Technol"},{"key":"90_CR4","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1109\/2.846318","volume":"33","author":"G Bollella","year":"2000","unstructured":"Bollella G, Gosling J (2000) The real-time specification for Java. Comput 33:47\u201354","journal-title":"Comput"},{"key":"90_CR5","unstructured":"Briz JL (1995) T\u00e9cnicas de implementaci\u00f3n de redes de Petri. PhD thesis, Univ. Zaragoza"},{"key":"90_CR6","first-page":"99","volume":"815","author":"JL Briz","year":"1994","unstructured":"Briz JL, Colom JM (1994) Implementation of weighted place\/transition nets based on linear enabling functions. Application and Theory of Petri Nets 815:99\u2013118","journal-title":"Application and Theory of Petri Nets"},{"key":"90_CR7","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1023\/A:1015621532472","volume":"12","author":"S Bulach","year":"2002","unstructured":"Bulach S, Brauchle A, Pfleiderer HJ, Kucerovsky Z (2002) Design and implementation of discrete event control systems: a Petri net based hardware approach. Discret Event Dyn Syst 12:287\u2013309","journal-title":"Discret Event Dyn Syst"},{"key":"90_CR8","doi-asserted-by":"crossref","first-page":"889","DOI":"10.1016\/S0967-0661(98)00076-8","volume":"6","author":"N Chang","year":"1998","unstructured":"Chang N, Kwon WH, Park J (1998) Hardware implementation of real-time Petri-net-based controllers. Control Eng Pract 6:889\u2013896","journal-title":"Control Eng Pract"},{"key":"90_CR9","volume-title":"Un Syst\u00e9me de Programmation par RdP de Controleurs Industriels","author":"D Chocron","year":"1980","unstructured":"Chocron D (1980) Un Syst\u00e9me de Programmation par RdP de Controleurs Industriels. \u00c9cole Politecnique de Montreal: Montreal"},{"key":"90_CR10","unstructured":"Colom JM, Silva M, Villarroel JL (1986) On software implementation of Petri nets and colored Petri nets using high-level concurrent languages. Seventh European Workshop on Applications and Theory of Petri nets, Oxford 86:207\u2013241"},{"key":"90_CR11","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1109\/87.406973","volume":"3","author":"R David","year":"1995","unstructured":"David R (1995) GRAFCET \u2014 A powerfull Tool for specification of logic controllers. IEEE Trans Control Syst Technol 3:253\u2013268","journal-title":"IEEE Trans Control Syst Technol"},{"key":"90_CR12","unstructured":"David R, Alla H (1992) Petri Nets and Grafcet: tools for modelling discrete event systems. Prentice-Hall, Inc., Upper Saddle River"},{"key":"90_CR13","doi-asserted-by":"crossref","unstructured":"Dijkstra EW (1971) Hierarchical ordering of sequential processes. Acta Informatica 1:14, 1971-06-01","DOI":"10.1007\/978-1-4757-3472-0_5"},{"key":"90_CR14","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1109\/70.370500","volume":"11","author":"J Ezpeleta","year":"1995","unstructured":"Ezpeleta J, Colom JM, Martinez J (1995) A Petri-net based deadlock prevention policy for flexible manufacturing systems. IEEE Trans Robot Autom 11:173\u2013184","journal-title":"IEEE Trans Robot Autom"},{"key":"90_CR15","doi-asserted-by":"crossref","first-page":"657","DOI":"10.1109\/87.799666","volume":"7","author":"K Feldmann","year":"1999","unstructured":"Feldmann K, Colombo AW, Schnur C, Stockel T (1999) Specification, design, and implementation of logic controllers based on colored Petri net models and the standard IEC 1131. I. Specification and design. IEEE Trans Control Syst Technol 7:657\u2013665","journal-title":"IEEE Trans Control Syst Technol"},{"key":"90_CR16","unstructured":"Garc\u00eda FJ, Villarroel JL (1996) Modelling and Ada implementation of real-time systems using time Petri Nets. Proc. of the 21st IFAC\/IFIP workshop on real-time programming. Gramado-RS, Brazil. November"},{"key":"90_CR17","unstructured":"Garc\u00eda FJ, Villarroel JL (1998) Decentralized implementation of real-time systems using time petri nets. Application to mobile robot control. In: 5th IFAC workshop on algorithms and architectures for real-time control. Cancun, Mexico, pp. 11\u201316."},{"key":"90_CR18","unstructured":"ISO\/IEC (2001) International standard IEC 61131\u20133 (2nd ed). Programmable logic controllers\u2014Part 3. ISO\/IEC (final draft)"},{"key":"90_CR19","unstructured":"Jensen K (1991) Coloured Petri Nets: a high level language for system design and analysis. Advances in Petri Nets 1990."},{"key":"90_CR20","doi-asserted-by":"crossref","unstructured":"Klein S, Frey G, Minas M (2003) PLC Programming with Signal Interpreted Petri Nets. In: ICATPN 2003, Eindhoven, pp. 440\u2013449","DOI":"10.1007\/3-540-44919-1_27"},{"key":"90_CR21","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. Proc IEEE 77:541\u2013580","journal-title":"Proc IEEE"},{"key":"90_CR22","unstructured":"Piedrafita R (2008) Experimentation with the execution time controller (research report). http:\/\/automata.cps.unizar.es\/realtime . Departamento de Inform\u00e1tica e Ingenier\u00eda de Sistemas, Zaragoza"},{"key":"90_CR23","unstructured":"Piedrafita R (2009) T\u00e9cnicas de implementaci\u00f3n de sistemas de control de eventos discretos. In Inform\u00e1tica e Ingenier\u00eda de Sistemas. Universidad de Zaragoza, Zaragoza"},{"key":"90_CR24","doi-asserted-by":"crossref","unstructured":"Piedrafita R, Villarroel JL (2006a) Implementation of time petri nets in real-time Java. In 4th international workshop on Java technologies for real-time and embedded systems. pp. 178\u2013187","DOI":"10.1145\/1167999.1168029"},{"key":"90_CR25","doi-asserted-by":"crossref","unstructured":"Piedrafita R, Villarroel JL (2006b) Petri Nets and Java. Real-time control of a flexible manufacturing cell. In: Emerging Technologies and Factory Automation, 2006. ETFA\u201906. IEEE Conference on pp. 1246\u20131253","DOI":"10.1109\/ETFA.2006.355421"},{"key":"90_CR26","doi-asserted-by":"crossref","unstructured":"Piedrafita R, Villarroel JL (2008a) Adaptive Petri nets implementation. The execution time controller. In: 9th International Workshop on Discrete Event Systems 2008, Gothenburg, Sweden, pp. 1400\u20131407","DOI":"10.1109\/WODES.2008.4605963"},{"key":"90_CR27","doi-asserted-by":"crossref","unstructured":"Piedrafita R, Villarroel JL (2008b) Evaluation of sequential function charts execution techniques. The active steps algorithm. In: Emerging technologies and factory automation. IEEE Conference on Hamburg, Germany","DOI":"10.1109\/ETFA.2008.4638376"},{"key":"90_CR28","doi-asserted-by":"crossref","unstructured":"Piedrafita R, Villarroel JL (2009) Decentralized execution of sequential function charts. In: Europen control conference. Budapest, Hungary, pp. 1991\u20131996","DOI":"10.23919\/ECC.2009.7074696"},{"key":"90_CR29","volume-title":"Las Redes de Petri en la Automatica y la Informatica. Editorial","author":"M Silva","year":"1987","unstructured":"Silva M (1985) Las Redes de Petri en la Automatica y la Informatica. Editorial. AC, Madrid"},{"key":"90_CR31","doi-asserted-by":"crossref","unstructured":"Silva M, Velilla S (1982) Programmable logic controllers and Petri nets: a comparative study. In: IFAC\/IFIP Symposium on Software for Computer Control Madrid, Spain, pp. 83\u201388","DOI":"10.1016\/S1474-6670(17)62804-0"},{"key":"90_CR32","doi-asserted-by":"crossref","first-page":"418","DOI":"10.1007\/3-540-50580-6_40","volume":"340","author":"D Taubner","year":"1988","unstructured":"Taubner D (1988) On the implementation of Petri nets. Lect Notes Comput Sci 340:418\u2013439","journal-title":"Lect Notes Comput Sci"},{"key":"90_CR33","unstructured":"Uzam M, Ko\u00e7 B, Gelen G, Aksebzeci BH (2005) Asynchronous implementation of a Petri net based discrete event control system using a Xilinx FPGA, pp. 20\u201322"},{"key":"90_CR34","doi-asserted-by":"crossref","first-page":"296","DOI":"10.1007\/BFb0019980","volume":"524","author":"R Valette","year":"1991","unstructured":"Valette R, Bako B (1991) Software implementation of Petri nets and compilation of rule-based systems. Lect Notes Comput Sci 524:296\u2013316","journal-title":"Lect Notes Comput Sci"},{"key":"90_CR35","first-page":"103","volume":"11","author":"R Valette","year":"1983","unstructured":"Valette R, Courvoisier M, Bigou JM, Albukerque J (1983) A Petri net based programmable logic controller. Computer Applications in Production and Engineering 11:103\u2013115","journal-title":"Computer Applications in Production and Engineering"},{"key":"90_CR36","volume-title":"Ingenier\u00eda El\u00e9ctrica e Inform\u00e1tica","author":"S Velilla","year":"1987","unstructured":"Velilla S (1987) L\u00f3gica Programada y Redes de Petri. In: Ingenier\u00eda El\u00e9ctrica e Inform\u00e1tica. Universidad de Zaragoza: Zaragoza"},{"key":"90_CR37","unstructured":"Villarroel JL (1990) Integraci\u00f3n Inform\u00e1tica del Control de Sistemas Flexibles de Fabricaci\u00f3n. In Ingenier\u00eda El\u00e9ctrica e Inform\u00e1tica Zaragoza: Universidad de Zaragoza"},{"key":"90_CR38","unstructured":"Yakovlev AV, Koelmans AM (1998) Petri nets and digital hardware design. Lect Notes Comput Sci 154\u2013173"}],"container-title":["Discrete Event Dynamic Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-010-0090-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10626-010-0090-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-010-0090-7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T10:40:56Z","timestamp":1740134456000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10626-010-0090-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,5,30]]},"references-count":37,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2011,6]]}},"alternative-id":["90"],"URL":"https:\/\/doi.org\/10.1007\/s10626-010-0090-7","relation":{},"ISSN":["0924-6703","1573-7594"],"issn-type":[{"type":"print","value":"0924-6703"},{"type":"electronic","value":"1573-7594"}],"subject":[],"published":{"date-parts":[[2010,5,30]]}}}