{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,2]],"date-time":"2025-06-02T08:51:13Z","timestamp":1748854273764,"version":"3.37.3"},"reference-count":108,"publisher":"Informa UK Limited","issue":"1","funder":[{"DOI":"10.13039\/501100006730","name":"Romanian Ministry of Education and Research","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100006730","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100006595","name":"UEFISCDI","doi-asserted-by":"publisher","award":["PN-III-P4-ID-PCE-2020-0269"],"award-info":[{"award-number":["PN-III-P4-ID-PCE-2020-0269"]}],"id":[{"id":"10.13039\/501100006595","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["www.tandfonline.com"],"crossmark-restriction":true},"short-container-title":["International Journal of General Systems"],"published-print":{"date-parts":[[2023,1,2]]},"DOI":"10.1080\/03081079.2022.2086542","type":"journal-article","created":{"date-parts":[[2022,6,26]],"date-time":"2022-06-26T17:39:13Z","timestamp":1656265153000},"page":"1-47","update-policy":"https:\/\/doi.org\/10.1080\/tandf_crossmark_01","source":"Crossref","is-referenced-by-count":5,"title":["Colored Petri nets-based control and experimental validation on three-tank system level control"],"prefix":"10.1080","volume":"52","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5586-3693","authenticated-orcid":false,"given":"Marius","family":"Brezovan","sequence":"first","affiliation":[{"name":"Department of Computers and Information Technology, University of Craiova, Craiova, Romania"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2060-7403","authenticated-orcid":false,"given":"Radu-Emil","family":"Precup","sequence":"additional","affiliation":[{"name":"Department of Automation and Applied Informatics, Politehnica University of Timisoara, Timisoara, Romania"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9770-405X","authenticated-orcid":false,"given":"Dan","family":"Seli\u015fteanu","sequence":"additional","affiliation":[{"name":"Department of Automation and Electronics, University of Craiova, Craiova, Romania"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6073-0289","authenticated-orcid":false,"given":"Liana","family":"St\u0103nescu","sequence":"additional","affiliation":[{"name":"Department of Computers and Information Technology, University of Craiova, Craiova, Romania"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"301","published-online":{"date-parts":[[2022,6,26]]},"reference":[{"key":"CIT0001","unstructured":"Abid, C. A., S. Zairi, and B. Zouari. 2010. \u201cSupervisory Control and High-Level Petri Nets.\u201d InPetri Nets Applications, edited by P. Pawlewski, 281\u2013306. Rijeka: IntechOpen."},{"issue":"9","key":"CIT0002","first-page":"725","volume":"66","author":"Andonovski G.","year":"2018","journal-title":"Automatica"},{"key":"CIT0003","doi-asserted-by":"publisher","DOI":"10.1109\/ICoSC.2013.6750863"},{"key":"CIT0004","unstructured":"Bail, J. Le, H. Alla, and R. David. 1991. \u201cHybrid Petri Nets.\u201d InProceedings of the 1st European Control Conference, 1472\u20131477. Grenoble, France."},{"key":"CIT0005","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2009.2014932"},{"key":"CIT0006","doi-asserted-by":"publisher","DOI":"10.5220\/0005012000120023"},{"key":"CIT0007","doi-asserted-by":"publisher","DOI":"10.1007\/s40815-020-00976-w"},{"key":"CIT0008","doi-asserted-by":"publisher","DOI":"10.5220\/0007978508100817"},{"key":"CIT0009","doi-asserted-by":"publisher","DOI":"10.1007\/s10958-018-3765-5"},{"key":"CIT0010","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2016.2592952"},{"key":"CIT0011","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2018.2834908"},{"key":"CIT0012","unstructured":"David, R., and H. Alla. 1987. \u201cContinuous Petri Nets.\u201d InProceedings of the of 8th European Workshop on Applications and Theory of Petri Nets, 275\u2013297. Zaragosa, Spain."},{"key":"CIT0013","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2013.2290314"},{"key":"CIT0014","doi-asserted-by":"publisher","DOI":"10.1080\/03081079.2021.1907366"},{"key":"CIT0015","unstructured":"Ehrig, H., and B. Mahr. 1985. \u201cFundamentals of Algebraic Specifications I. Equations and Initial Semantics.\u201d InMonographs on Theoretical Computer Science, Vol. 6 ofEATCS. Berlin: Springer."},{"key":"CIT0016","doi-asserted-by":"crossref","unstructured":"Fanti, M. P., A. Giua, and C. Seatzu. 2003a. \u201cA Deadlock Prevention Method for Railway Networks Using Monitors for Colored Petri Nets.\u201d InProceedings of the 2003 IEEE International Conference on Systems, Man and Cybernetics, 1866\u20131873. Washington, DC, USA.","DOI":"10.1109\/ICSMC.2003.1244683"},{"key":"CIT0017","doi-asserted-by":"crossref","unstructured":"Fanti, M. P., A. Giua, and C. Seatzu. 2003b. \u201cGeneralized Mutual Exclusion Constraints and Monitors for Colored Petri Nets.\u201d InProceedings of the 2003 IEEE International Conference on Systems, Man and Cybernetics, 1860\u20131865. Washington, DC, USA.","DOI":"10.1109\/ICSMC.2003.1244682"},{"key":"CIT0018","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2012.2203596"},{"key":"CIT0019","doi-asserted-by":"publisher","DOI":"10.1109\/87.799666"},{"key":"CIT0020","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0022467"},{"key":"CIT0021","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(81)90113-4"},{"key":"CIT0022","unstructured":"Genrich, H. J., and I. Schuart. 1998. \u201cModelling and Verification of Hybrid Systems Using Hierarchical Coloured Petri Nets.\u201d InProceedings of the of 3rd Int. Conference on Automation of Mixed Processes, edited by Z. Aytoon J., 17\u201324. Reims, France."},{"key":"CIT0023","doi-asserted-by":"publisher","DOI":"10.1016\/S0164-1212(98)10028-6"},{"key":"CIT0024","doi-asserted-by":"publisher","DOI":"10.1109\/CASE.2011.6042430"},{"key":"CIT0025","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2015.02.034"},{"key":"CIT0026","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-4276-8_12"},{"key":"CIT0027","doi-asserted-by":"publisher","DOI":"10.1109\/9.384227"},{"key":"CIT0028","doi-asserted-by":"crossref","unstructured":"Giua, A., F. Di Cesare, and M. Silva. 1992. \u201cGeneralized Mutual Exclusion Constraints on Nets with Uncontrollable Transitions.\u201d InProceedings of the 1992 IEEE International Conference on Systems, Man and Cybernetics, 974\u2013979. Chicago, IL, USA.","DOI":"10.1109\/ICSMC.1992.271666"},{"key":"CIT0029","doi-asserted-by":"publisher","DOI":"10.1016\/S1474-6670(17)30771-1"},{"key":"CIT0030","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-014-0425-1"},{"key":"CIT0031","doi-asserted-by":"publisher","DOI":"10.23919\/ECC.1997.7082422"},{"key":"CIT0032","doi-asserted-by":"publisher","DOI":"10.1016\/S1474-6670(17)42300-7"},{"key":"CIT0033","unstructured":"Group, CPN. n.d. \u201cCPN Tools. A Tool for Editing, Simulating, and Analyzing Colored Petri Nets.\u201d Accessed July 24 2020. http:\/\/cpntools.org\/."},{"volume-title":"Stochastic Petri Nets: Modeling, Stability, Simulation","year":"2002","author":"Haas P.","key":"CIT0034"},{"key":"CIT0035","doi-asserted-by":"publisher","DOI":"10.1109\/TFUZZ.2020.2999779"},{"key":"CIT0036","doi-asserted-by":"publisher","DOI":"10.1016\/B978-012170960-0\/50035-9"},{"key":"CIT0037","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2021.109811"},{"key":"CIT0038","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2019.2957768"},{"key":"CIT0039","unstructured":"Inteco. 2020. \u201cMultitank System. User's Manual.\u201d Accessed July 24 2020. http:\/\/www.inteco.com.pl\/products\/multi-tank\/."},{"key":"CIT0040","unstructured":"ISO. 2004.ISO\/IEC 15909-1:2004. Systems and Software Engineering \u2013 High-level Petri Nets \u2013 Part 1: Concepts, Definitions and Graphical Notation. Standard. International Organization for Standardization. https:\/\/www.iso.org\/standard\/38225.html."},{"key":"CIT0041","unstructured":"ISO. 2019.ISO\/IEC 15909-1:2019. Systems and Software Engineering \u2013 High-level Petri Nets \u2013 Part 1: Concepts, Definitions and Graphical Notation. Standard. International Organization for Standardization. https:\/\/www.iso.org\/standard\/67235.htm."},{"key":"CIT0042","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(81)90049-9"},{"key":"CIT0043","doi-asserted-by":"publisher","DOI":"10.1007\/b95112"},{"key":"CIT0044","doi-asserted-by":"crossref","unstructured":"Kellett, C. M., and A. R. Teel. 2013. \u201cResults on Discrete-Time Control-Lyapunov Functions.\u201d InProceedings of the 42nd IEEE International Conference on Decision and Control, 5961\u20135966. Maui, HI, USA.","DOI":"10.1109\/CDC.2003.1271964"},{"key":"CIT0045","doi-asserted-by":"publisher","DOI":"10.1080\/17445760.2021.1945054"},{"key":"CIT0046","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-49163-5_8"},{"key":"CIT0047","unstructured":"Krogh, B. H. 1987. \u201cControlled Petri Nets and Maximally Permissive Feedback Logic.\u201d InProceedings of the 25th Annual Allerton Conference on Communication, Control, and Computing, 317\u2013326. Urbana-Champaign, IL, USA."},{"key":"CIT0048","doi-asserted-by":"publisher","DOI":"10.1016\/0005-1098(91)90055-7"},{"key":"CIT0049","doi-asserted-by":"crossref","unstructured":"Kumar, R., and L. E. Holloway. 1992. \u201cSupervisory Control of Petri Net Languages.\u201d InProceedings of the 31st IEEE Conference on Decision and Control, 1190\u20131195. Tucson, AZ, USA.","DOI":"10.1109\/CDC.1992.371529"},{"key":"CIT0050","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2020.109355"},{"key":"CIT0051","doi-asserted-by":"publisher","DOI":"10.1007\/s00500-021-06036-1"},{"key":"CIT0052","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2019.2911863"},{"key":"CIT0053","doi-asserted-by":"crossref","unstructured":"Lefebvre, D. 2000. \u201cFiring Speeds Estimation for Continuous Petri Nets.\u201d InProceedings of the 39th IEEE Conference on Decision and Control, 2670\u20132675. Sydney, Australia.","DOI":"10.1109\/CDC.2000.914208"},{"key":"CIT0054","doi-asserted-by":"publisher","DOI":"10.17265\/2159-5313\/2016.09.003"},{"key":"CIT0055","doi-asserted-by":"publisher","DOI":"10.1109\/TAES.2021.3068429"},{"key":"CIT0056","doi-asserted-by":"publisher","DOI":"10.1109\/21.87067"},{"key":"CIT0057","doi-asserted-by":"publisher","DOI":"10.1201\/9781351011853"},{"key":"CIT0058","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-56883-2_2"},{"key":"CIT0059","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008371814442"},{"key":"CIT0060","doi-asserted-by":"publisher","DOI":"10.1109\/ISIC.1999.796623"},{"key":"CIT0061","unstructured":"Mathworks. 2022. \u201cTarget Language Compiler.\u201d Accessed March 14 2022. https:\/\/www.mathworks.com\/help\/rtw\/block-authoring-with-tlc.html."},{"key":"CIT0062","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"CIT0063","doi-asserted-by":"crossref","unstructured":"Niinomi, T., B. H. Krogh, and J. E. R. Cury. 1996. \u201cSynthesis of Supervisory Controllers for Hybrid Systems Based on Approximating Automata.\u201d InProceedings of the of 1995 34th IEEE Conference on Decision and Control, Vol. 2, 1461\u20131466. New Orleans, LA, USA.","DOI":"10.1109\/CDC.1995.480308"},{"key":"CIT0064","doi-asserted-by":"crossref","unstructured":"Paul, B., A. Konar, and A. K. Mandal. 1998. \u201cEstimation of Certainty Factor of Knowledge with Fuzzy Petri Nets.\u201d InProceedings of the 1998 IEEE International Conference on Fuzzy Systems, 951\u2013955. Anchorage, AK, USA.","DOI":"10.1109\/FUZZY.1998.686246"},{"key":"CIT0065","doi-asserted-by":"publisher","DOI":"10.1007\/s00521-009-0284-9"},{"key":"CIT0066","unstructured":"Petri, C. A. 1962. \u201cKommunication Mit Automaten.\u201d PhD diss., Technische Hochschule Darmstadt."},{"key":"CIT0067","doi-asserted-by":"publisher","DOI":"10.1016\/j.cie.2021.107555"},{"key":"CIT0068","doi-asserted-by":"publisher","DOI":"10.1016\/j.ejcon.2020.01.001"},{"key":"CIT0069","doi-asserted-by":"publisher","DOI":"10.1109\/TIE.2016.2607698"},{"key":"CIT0070","doi-asserted-by":"publisher","DOI":"10.1002\/asjc.855"},{"key":"CIT0071","doi-asserted-by":"publisher","DOI":"10.1109\/TIM.2020.2983531"},{"key":"CIT0072","doi-asserted-by":"publisher","DOI":"10.1016\/j.eswa.2012.01.165"},{"key":"CIT0073","doi-asserted-by":"publisher","DOI":"10.1016\/j.isatra.2018.01.014"},{"key":"CIT0074","doi-asserted-by":"publisher","DOI":"10.1109\/5.21072"},{"key":"CIT0075","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44919-1_28"},{"key":"CIT0076","unstructured":"Reisig, W. 1985. \u201cPetri Nets: An Introduction.\u201d InMonographs on Theoretical Computer Science, EATCS. Berlin: Springer-Verlag."},{"key":"CIT0077","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-84524-6_4"},{"key":"CIT0078","doi-asserted-by":"publisher","DOI":"10.1016\/j.ejcon.2020.08.001"},{"key":"CIT0079","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2019.2894352"},{"key":"CIT0080","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-4276-8"},{"key":"CIT0081","doi-asserted-by":"publisher","DOI":"10.1002\/acs.973"},{"key":"CIT0082","doi-asserted-by":"publisher","DOI":"10.1049\/trit.2018.1007"},{"key":"CIT0083","unstructured":"Sleptsov, A. I. 1988. \u201cEquations and Equivalent Transformations of Loaded Petri Nets (Algebraic Approach).\u201d InProceedings of the Communication All-Union Conference Formal Models Parallel Computing, 151\u2013158. Novosibirsk, Russia. In Russian."},{"key":"CIT0084","unstructured":"Sleptsov, A. I., and A. A. Yurasov. 1986.Automation of Designing Systems for Controlling Flexible Automated Industrial Processes. Tekhnika, Kiev. In Russian."},{"key":"CIT0085","doi-asserted-by":"publisher","DOI":"10.22190\/FUACR1803153S"},{"key":"CIT0086","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2020.12.059"},{"key":"CIT0087","doi-asserted-by":"publisher","DOI":"10.1016\/j.neunet.2021.06.019"},{"key":"CIT0088","doi-asserted-by":"publisher","DOI":"10.1109\/TIE.2021.3057004"},{"key":"CIT0089","doi-asserted-by":"publisher","DOI":"10.1109\/9.664152"},{"key":"CIT0090","doi-asserted-by":"publisher","DOI":"10.1109\/5.871303"},{"key":"CIT0091","doi-asserted-by":"publisher","DOI":"10.23919\/ACC.1993.4793353"},{"volume-title":"Timed Petri Nets, Theory and Application","year":"1998","author":"Wang J.","key":"CIT0092"},{"key":"CIT0093","doi-asserted-by":"publisher","DOI":"10.1109\/TCYB.2020.3004226"},{"key":"CIT0094","doi-asserted-by":"publisher","DOI":"10.1007\/s40815-020-00925-7"},{"key":"CIT0095","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-38697-8_22"},{"key":"CIT0096","doi-asserted-by":"publisher","DOI":"10.1109\/TCYB.2020.2986332"},{"key":"CIT0097","doi-asserted-by":"publisher","DOI":"10.1016\/0005-1098(95)00103-4"},{"key":"CIT0098","doi-asserted-by":"publisher","DOI":"10.1109\/TFUZZ.2020.2999958"},{"key":"CIT0099","doi-asserted-by":"publisher","DOI":"10.1109\/TCYB.2019.2941367"},{"key":"CIT0100","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2015.2444414"},{"key":"CIT0101","doi-asserted-by":"publisher","DOI":"10.1177\/1687814016640159"},{"key":"CIT0102","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2021.10.070"},{"key":"CIT0103","doi-asserted-by":"publisher","DOI":"10.1109\/TCYB.2019.2950565"},{"key":"CIT0104","unstructured":"Zhang, L., and L. E. Holloway. 1995. \u201cForbidden State Avoidance in Controlled Petri Nets Under Partial Observation.\u201d InProceedings of the 33rd Annual Allerton Conference on Communication, Control, and Computing, 146\u2013155. Urbana-Champaign, IL, USA."},{"key":"CIT0105","doi-asserted-by":"publisher","DOI":"10.1109\/70.143353"},{"key":"CIT0106","doi-asserted-by":"publisher","DOI":"10.1016\/0005-1098(92)90061-J"},{"key":"CIT0107","doi-asserted-by":"crossref","unstructured":"Zhou, M., and Y. Zhuang. 1992. \u201cControl Logic Design with Petri Nets for Integrated Manufacturing Systems.\u201d InProceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 986\u2013991. Chicago, IL, USA.","DOI":"10.1109\/ICSMC.1992.271664"},{"key":"CIT0108","doi-asserted-by":"publisher","DOI":"10.1016\/S1474-6670(17)30751-6"}],"container-title":["International Journal of General Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/03081079.2022.2086542","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,9,27]],"date-time":"2024-09-27T20:57:23Z","timestamp":1727470643000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.tandfonline.com\/doi\/full\/10.1080\/03081079.2022.2086542"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,6,26]]},"references-count":108,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2023,1,2]]}},"alternative-id":["10.1080\/03081079.2022.2086542"],"URL":"https:\/\/doi.org\/10.1080\/03081079.2022.2086542","relation":{},"ISSN":["0308-1079","1563-5104"],"issn-type":[{"type":"print","value":"0308-1079"},{"type":"electronic","value":"1563-5104"}],"subject":[],"published":{"date-parts":[[2022,6,26]]},"assertion":[{"value":"The publishing and review policy for this title is described in its Aims & Scope.","order":1,"name":"peerreview_statement","label":"Peer Review Statement"},{"value":"http:\/\/www.tandfonline.com\/action\/journalInformation?show=aimsScope&journalCode=ggen20","URL":"http:\/\/www.tandfonline.com\/action\/journalInformation?show=aimsScope&journalCode=ggen20","order":2,"name":"aims_and_scope_url","label":"Aim & Scope"},{"value":"2022-01-04","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2022-04-18","order":2,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2022-06-26","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}