{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,30]],"date-time":"2026-07-30T20:29:56Z","timestamp":1785443396368,"version":"3.56.0"},"reference-count":22,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2020,2,19]],"date-time":"2020-02-19T00:00:00Z","timestamp":1582070400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,2,19]],"date-time":"2020-02-19T00:00:00Z","timestamp":1582070400000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Discrete Event Dyn Syst"],"published-print":{"date-parts":[[2020,6]]},"DOI":"10.1007\/s10626-019-00301-0","type":"journal-article","created":{"date-parts":[[2020,2,19]],"date-time":"2020-02-19T02:02:26Z","timestamp":1582077746000},"page":"175-209","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Problematic configurations and choice-join pairs on Mono-T-Semiflow nets: towards the characterization of behavior-structural properties"],"prefix":"10.1007","volume":"30","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-6727-0089","authenticated-orcid":false,"given":"Manuel","family":"Navarro-Guti\u00e9rrez","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jaime A.","family":"Fraustro-Valdez","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Antonio","family":"Ram\u00edrez-Trevi\u00f1o","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Manuel","family":"Silva","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2020,2,19]]},"reference":[{"issue":"2","key":"301_CR1","doi-asserted-by":"publisher","first-page":"598","DOI":"10.1016\/j.mbs.2007.07.003","volume":"210","author":"D Angeli","year":"2007","unstructured":"Angeli D, Leenheer PD, Sontag ED (2007) A Petri net approach to the study of persistence in chemical reaction networks. Math Biosci 210(2):598\u2013618","journal-title":"Math Biosci"},{"key":"#cr-split#-301_CR2.1","unstructured":"Berthelot G (1986) Checking properties of nets using transformations. In: Rozenberg G"},{"key":"#cr-split#-301_CR2.2","unstructured":"(ed) Advances in Petri Nets 1985. Springer, Berlin, pp 19-40"},{"key":"301_CR3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-10669-9","volume-title":"Discrete, continuous, and hybrid Petri nets","author":"R David","year":"2010","unstructured":"David R, Alla H (2010) Discrete, continuous, and hybrid Petri nets, 2nd edn. Springer, Berlin","edition":"2nd edn."},{"key":"301_CR4","doi-asserted-by":"crossref","unstructured":"Dicesare F, Harhalakis G, Proth J, Silva M, Vernadat F (1993) Practice of Petri nets in manufacturing. Chapman and Hall","DOI":"10.1007\/978-94-011-6955-4"},{"key":"#cr-split#-301_CR5.1","doi-asserted-by":"crossref","unstructured":"Esparza J, Silva M (1991) On the analysis and synthesis of free choice systems. In: Rozenberg G","DOI":"10.1007\/3-540-53863-1_28"},{"key":"#cr-split#-301_CR5.2","unstructured":"(ed) Advances in Petri nets 1990, LNCS 483. Springer, Berlin, pp 243-286"},{"issue":"4","key":"301_CR6","first-page":"742","volume":"43","author":"M Fanti","year":"2013","unstructured":"Fanti M, Mangini A, Dotoli M, Ukovich W (2013) A three-level strategy for the design and performance evaluation of hospital departments. IEEE TransSyst Man Cybern: Syst 43(4):742\u2013756","journal-title":"IEEE TransSyst Man Cybern: Syst"},{"key":"301_CR7","first-page":"3","volume":"12","author":"E Fraca","year":"2014","unstructured":"Fraca E, J\u00falvez J, Silva M (2014) On the fluidization of Petri nets and marking homothecy. Nonlinear Anal: Hybrid Syst 12:3\u201319","journal-title":"Nonlinear Anal: Hybrid Syst"},{"issue":"4","key":"301_CR8","doi-asserted-by":"publisher","first-page":"686","DOI":"10.1109\/TSMCA.2010.2041448","volume":"40","author":"J J\u00falvez","year":"2010","unstructured":"J\u00falvez J, Boel R (2010) A continuous Petri net approach for model predictive control of traffic systems. IEEE Trans Syst Man Cybernet Part A: Syst Humans 40 (4):686\u2013697","journal-title":"IEEE Trans Syst Man Cybernet Part A: Syst Humans"},{"issue":"4","key":"301_CR9","doi-asserted-by":"publisher","first-page":"605","DOI":"10.1016\/j.automatica.2004.11.007","volume":"41","author":"J J\u00falvez","year":"2005","unstructured":"J\u00falvez J, Recalde L, Silva M (2005) Steady-state performance evaluation of continuous mono-t-semiflow Petri nets. Automatica 41(4):605\u2013616","journal-title":"Automatica"},{"issue":"2","key":"301_CR10","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1007\/s10626-008-0049-0","volume":"19","author":"C Mahulea","year":"2009","unstructured":"Mahulea C, Recalde L, Silva M (2009) Basic server semantics and performance monotonicity of continuous Petri nets. Discret Event Dyn Syst 19(2):189\u2013212","journal-title":"Discret Event Dyn Syst"},{"key":"301_CR11","volume-title":"Modelling with generalized stochastic Petri nets","author":"MA Marsan","year":"1994","unstructured":"Marsan MA, Balbo G, Conte G, Donatelli S, Franceschinis G (1994) Modelling with generalized stochastic Petri nets, 1st edn. Wiley, New York","edition":"1st edn."},{"issue":"9","key":"301_CR12","doi-asserted-by":"publisher","first-page":"913","DOI":"10.1109\/TC.1982.1676110","volume":"C-31","author":"Molloy","year":"1982","unstructured":"Molloy (1982) Performance analysis using stochastic Petri nets. IEEE Trans Comput C-31(9):913\u2013917","journal-title":"IEEE Trans Comput"},{"key":"301_CR13","first-page":"48","volume":"26","author":"M Navarro-Guti\u00e9rrez","year":"2017","unstructured":"Navarro-Guti\u00e9rrez M, Ram\u00edrez-Trevi\u00f1o A, Silva M (2017) Homothecy, bifurcations, continuity and monotonicity in timed continuous Petri nets under infinite server semantics. Nonlin Anal: Hybrid Syst 26:48\u201367","journal-title":"Nonlin Anal: Hybrid Syst"},{"key":"301_CR14","doi-asserted-by":"crossref","unstructured":"Navarro-Guti\u00e9rrez M, Ram\u00edrez-Trevi\u00f1o A, Silva M (2018) On monotonicity and continuity: computing problematic configurations in timed continuous Petri nets. In: WODES\u201918: 14th international workshop on discrete event systems, Sorrento","DOI":"10.1016\/j.ifacol.2018.06.345"},{"key":"301_CR15","doi-asserted-by":"crossref","unstructured":"Recalde L, Teruel E, Silva M (1999) Autonomous continuous P\/T systems. In: Donatelli S, Kleijn J (eds) Application and theory of Petri Nets 1999, proceedings. Springer, Berlin, pp 107\u2013126","DOI":"10.1007\/3-540-48745-X_8"},{"key":"301_CR16","doi-asserted-by":"crossref","unstructured":"Recalde L, Mahulea C, Silva M (2006) Improving analysis and simulation of continuous Petri nets. In: 2006 IEEE International conference on automation science and engineering, pp 9\u201314","DOI":"10.1109\/COASE.2006.326847"},{"key":"301_CR17","volume-title":"Las redes de Petri en la autom\u00e1tica y la inform\u00e1tica","author":"M Silva","year":"1985","unstructured":"Silva M (1985) Las redes de Petri en la autom\u00e1tica y la inform\u00e1tica. Ed. AC, Madrid"},{"issue":"4","key":"301_CR18","doi-asserted-by":"publisher","first-page":"427","DOI":"10.1007\/s10626-011-0116-9","volume":"21","author":"M Silva","year":"2011","unstructured":"Silva M, J\u00falvez J, Mahulea C, V\u00e1zquez CR (2011) On fluidization of discrete event models: observation and control of continuous Petri nets. Discret Event Dyn Syst 21(4):427\u2013497","journal-title":"Discret Event Dyn Syst"},{"key":"301_CR19","doi-asserted-by":"crossref","unstructured":"Silva M, Fraca E, Wang L (2014) Performance evaluation and control of manufacturing systems: a continuous Petri nets view. In: Campos J, Seatzu C, Xie X (eds) Formal methods in manufacturing. CRC Press Taylor & Francis, pp 409\u2013452","DOI":"10.1201\/b16529-18"},{"issue":"2","key":"301_CR20","doi-asserted-by":"publisher","first-page":"283","DOI":"10.1016\/j.automatica.2010.10.047","volume":"47","author":"CR V\u00e1zquez","year":"2011","unstructured":"V\u00e1zquez CR, Silva M (2011) Timing and liveness in continuous Petri nets. Automatica 47(2):283\u2013290","journal-title":"Automatica"}],"container-title":["Discrete Event Dynamic Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-019-00301-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10626-019-00301-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-019-00301-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,2,19]],"date-time":"2021-02-19T03:18:26Z","timestamp":1613704706000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10626-019-00301-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,2,19]]},"references-count":22,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2020,6]]}},"alternative-id":["301"],"URL":"https:\/\/doi.org\/10.1007\/s10626-019-00301-0","relation":{},"ISSN":["0924-6703","1573-7594"],"issn-type":[{"value":"0924-6703","type":"print"},{"value":"1573-7594","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,2,19]]},"assertion":[{"value":"16 December 2018","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"11 November 2019","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"19 February 2020","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}