{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,15]],"date-time":"2026-07-15T15:35:58Z","timestamp":1784129758076,"version":"3.55.0"},"reference-count":42,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2021,9,8]],"date-time":"2021-09-08T00:00:00Z","timestamp":1631059200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,9,8]],"date-time":"2021-09-08T00:00:00Z","timestamp":1631059200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Discrete Event Dyn Syst"],"published-print":{"date-parts":[[2022,3]]},"DOI":"10.1007\/s10626-021-00347-z","type":"journal-article","created":{"date-parts":[[2021,9,8]],"date-time":"2021-09-08T01:02:30Z","timestamp":1631062950000},"page":"27-64","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Interpreted synchronous extension of time Petri nets"],"prefix":"10.1007","volume":"32","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5835-021X","authenticated-orcid":false,"given":"Karen","family":"Godary-Dejean","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"H\u00e9l\u00e8ne","family":"Leroux","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"David","family":"Andreu","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2021,9,8]]},"reference":[{"key":"347_CR1","doi-asserted-by":"crossref","unstructured":"Andreu D, Souquet G, Gil T (2008) Petri net based rapid prototyping of digital complex system. In: Proc of the IEEE computer society annual symposium on VLSI (ISVLSI), France","DOI":"10.1109\/ISVLSI.2008.54"},{"issue":"2","key":"347_CR2","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1088\/1741-2560\/6\/2\/026001","volume":"6","author":"D Andreu","year":"2009","unstructured":"Andreu D, Guiraud D, Souquet G (2009) A distributed architecture for activating the peripheral nervous system. J Neural Eng 6(2):18","journal-title":"J Neural Eng"},{"key":"347_CR3","volume-title":"Principles of model checking","author":"C Baier","year":"2008","unstructured":"Baier C, Katoen JP (2008) Principles of model checking. MIT Press, Cambridge"},{"issue":"3","key":"347_CR4","doi-asserted-by":"publisher","first-page":"330","DOI":"10.1007\/s10703-012-0146-4","volume":"40","author":"S Balaguer","year":"2012","unstructured":"Balaguer S, Chatain Th, Haar S (2012) A concurrency-preserving translation from time Petri nets to networks of timed automata. Formal Methods Syst Des 40(3):330\u2013355","journal-title":"Formal Methods Syst Des"},{"issue":"2","key":"347_CR5","doi-asserted-by":"publisher","first-page":"784","DOI":"10.1109\/TASE.2019.2944299","volume":"17","author":"F Basile","year":"2020","unstructured":"Basile F, Faraut G, Ferrara L, Lesage J (2020) An optimization-based approach to discover the unobservable behavior of a discrete-event system through interpreted petri nets. IEEE Trans Autom Sci Eng 17(2):784\u2013798","journal-title":"IEEE Trans Autom Sci Eng"},{"key":"347_CR6","doi-asserted-by":"crossref","unstructured":"B\u00e9rard B, Cassez F, Haddad S, Lime D, Roux O (2005) Comparison of different semantics for time Petri nets. In: Proc. of the 3rd int symposium on automated technology for verification and analysis (ATVA), Taiwan","DOI":"10.1007\/11562948_23"},{"key":"347_CR7","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.tcs.2012.12.005","volume":"474","author":"B B\u00e9rard","year":"2013","unstructured":"B\u00e9rard B, Cassez F, Haddad S, Lime D, Roux O (2013) The expressive power of time petri nets. Theor Comput Sci 474:1\u201320","journal-title":"Theor Comput Sci"},{"issue":"14","key":"347_CR8","doi-asserted-by":"publisher","first-page":"2741","DOI":"10.1080\/00207540412331312688","volume":"42","author":"B Berthomieu","year":"2004","unstructured":"Berthomieu B, Ribet PO, Vernadat F (2004) The tool tina \u2013 construction of abstract state spaces for petri nets and time petri nets. Int J Prod Res 42 (14):2741\u20132756","journal-title":"Int J Prod Res"},{"key":"347_CR9","doi-asserted-by":"crossref","unstructured":"Berthomieu B, Peres F, Vernadat F (2006) Bridging the gap between timed automata and bounded time petri nets. In: Proc of 4th formal modeling and analysis of timed systems (FORMATS), Paris","DOI":"10.1007\/11867340_7"},{"issue":"2","key":"347_CR10","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1007\/s10626-006-0011-y","volume":"17","author":"B Berthomieu","year":"2007","unstructured":"Berthomieu B, Lime D, Roux O, Vernadat F (2007a) Reachability problems and abstract state spaces for time Petri nets with stopwatches. Discret Event Dyn Syst 17(2):133\u2013158","journal-title":"Discret Event Dyn Syst"},{"key":"347_CR11","unstructured":"Berthomieu B, Peres F, Vernadat F (2007b) Model checking bounded prioritized time petri nets. In: Proc. of the int symposium of automated technology for verification and analysis (ATVA), Japan"},{"issue":"3","key":"347_CR12","first-page":"225","volume":"88","author":"M Boyer","year":"2008","unstructured":"Boyer M, Roux O (2008) On the compared expressiveness of arc, place and transition time petri nets. Fundamenta Informaticae 88(3):225\u2013249","journal-title":"Fundamenta Informaticae"},{"key":"347_CR13","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1016\/S0304-3975(01)00127-X","volume":"275","author":"N Busi","year":"2002","unstructured":"Busi N (2002) Analysis issues in petri nets with inhibitor arcs. Theor Comput Sci 275:127\u2013177","journal-title":"Theor Comput Sci"},{"issue":"6","key":"347_CR14","doi-asserted-by":"publisher","first-page":"1736","DOI":"10.1002\/asjc.690","volume":"15","author":"X Chen","year":"2013","unstructured":"Chen X, Li Z w, Al-Ahmari AM, El-Tamimi AM, Nasr ESA (2013) Confusion diagnosis and control of discrete event systems using synchronized petri nets. Asian J Control 15(6):1736\u20131751","journal-title":"Asian J Control"},{"key":"347_CR15","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. Springer-Verlag, New York"},{"issue":"5","key":"347_CR16","doi-asserted-by":"publisher","first-page":"208","DOI":"10.1016\/j.ipl.2006.04.009","volume":"99","author":"R Devillers","year":"2006","unstructured":"Devillers R, Van Begin L (2006) Boundedness undecidability for synchronized nets. Inf Process Lett 99(5):208\u2013214","journal-title":"Inf Process Lett"},{"key":"347_CR17","doi-asserted-by":"crossref","unstructured":"Elidrissi HL, Nait-Sidi-Moh A, Tajera A (2020) Modular design for an urban signalized intersections network using synchronized timed petri nets and responsive control. In: Proc. of the 11th international conference on ambient systems networks and technologies (ANT). Poland","DOI":"10.1016\/j.procs.2020.03.089"},{"key":"347_CR18","doi-asserted-by":"crossref","unstructured":"Fares E, Bodeveix JP, Filali-Amine M, Garnacho M (2013) An automatic technique for checking the simulation of timed systems. In: Proc. of the 11th int symposium of automated technology for verification and analysis (ATVA), Vietnam","DOI":"10.1007\/978-3-319-02444-8_7"},{"key":"347_CR19","doi-asserted-by":"crossref","unstructured":"Frehse G (2006) On timed simulation relations for hybrid systems and compositionality. In: Proc. of the 4th int. conf on formal modeling and analysis of timed systems (FORMATS), France","DOI":"10.1007\/11867340_15"},{"key":"347_CR20","unstructured":"Frey G (2002) Design and formal analysis of petri net based logic control algorithms. PhD thesis, University of Kaiserslautern"},{"key":"347_CR21","doi-asserted-by":"crossref","unstructured":"Gardey G, Lime D, Magnin M, Roux O (2005) Rom\u00e9o: A tool for analyzing time petri nets. In: Proc. of the 17th int. conf. on computer aided verification (CAV), Scotland","DOI":"10.1007\/11513988_41"},{"key":"347_CR22","volume-title":"Petri Nets for systems engineering: A guide to modeling, Verification, and applications","author":"C Girault","year":"2013","unstructured":"Girault C, Valk R (2013) Petri Nets for systems engineering: A guide to modeling, Verification, and applications. Springer Science & Business Media, New York"},{"key":"347_CR23","unstructured":"Grobelna I, Adamski M (2011) Model checking of control interpreted petri nets. In: Proc. of the 18th int. conf mixed design of integrated circuits and systems (MIXDES), Poland"},{"key":"347_CR24","unstructured":"Hilal R, Ladet P (1993) Synchronous petri nets: formalisation and interpretation. In: Proc. of the int. conf. on systems man and cybernetics (SMC), France"},{"key":"347_CR25","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1002\/asjc.1536","volume":"20","author":"Y Huang","year":"2018","unstructured":"Huang Y, Weng Y, Zhou M (2018) Design of regulatory traffic light control systems with synchronized timed petri nets. Asian J Control 20:174\u2013185","journal-title":"Asian J Control"},{"key":"347_CR26","doi-asserted-by":"crossref","unstructured":"Ivanov S, Pelz E, Verlan S (2014) Small universal non-deterministic petri nets with inhibitor arcs. In: Proc. of the 16th int workshop descriptional complexity of formal systems (DCFS), Finland","DOI":"10.1007\/978-3-319-09704-6_17"},{"key":"347_CR27","doi-asserted-by":"crossref","unstructured":"Janowska A, Penczek W, Polrola A, Zbrzezny A (2013) Using integer time steps for checking branching time properties of time petri nets. In: Transactions on Petri nets and other models of concurrency VIII, Lecture notes in computer science, vol 8100. Springer, Berlin, pp 89\u2013105","DOI":"10.1007\/978-3-642-40465-8_5"},{"issue":"1-2","key":"347_CR28","first-page":"9","volume":"101","author":"M Knapik","year":"2010","unstructured":"Knapik M, Penczek W, Szreter M, P\u00f3lrola A (2010) Bounded parametric verification for distributed time petri nets with discrete-time semantics. Fundamenta Informaticae 101(1-2):9\u201327","journal-title":"Fundamenta Informaticae"},{"key":"347_CR29","doi-asserted-by":"crossref","unstructured":"Leroux H, Godary-Dejean K, Andreu D (2013) Complex digital system design: a methodology and its application to medical implants. In: Proc. of the int workshop on formal methods for industrial critical systems (FMICS), Spain","DOI":"10.1007\/978-3-642-41010-9_7"},{"key":"347_CR30","doi-asserted-by":"crossref","unstructured":"Leroux H, Godary-Dejean K, Andreu D (2014a) Integrating implementation properties in analysis of Petri nets handling exceptions. In: 12th IFAC international workshop on discrete event systems (WODES), Paris","DOI":"10.3182\/20140514-3-FR-4046.00032"},{"key":"347_CR31","doi-asserted-by":"crossref","unstructured":"Leroux H, Godary-Dejean K, Coppey G, Andreu D (2014b) Automatic handling of conflicts in synchronous interpreted time petri nets implementation. In: Proc. of the IEEE computer society annual symposium on VLSI (ISVLSI), USA","DOI":"10.1109\/ISVLSI.2014.44"},{"issue":"4","key":"347_CR32","doi-asserted-by":"publisher","first-page":"897","DOI":"10.1109\/TII.2015.2435696","volume":"11","author":"H Leroux","year":"2015","unstructured":"Leroux H, Andreu D, Godary-Dejean K (2015) Handling exceptions in petri net-based digital architecture: From formalism to implementation on FPGAs. IEEE Trans Ind Inform 11(4):897\u2013906","journal-title":"IEEE Trans Ind Inform"},{"key":"347_CR33","doi-asserted-by":"crossref","unstructured":"Magnin M, Lime D, Roux O (2008) Symbolic state space of stopwatch petri nets with discrete-time semantics (theory paper). In: Proc. of the 29th int. conf on application and theory of petri nets and other models of concurrency (ICATPN), China","DOI":"10.1007\/978-3-540-68746-7_21"},{"issue":"1-2","key":"347_CR34","doi-asserted-by":"publisher","first-page":"139","DOI":"10.3233\/FI-2009-195","volume":"97","author":"M Magnin","year":"2009","unstructured":"Magnin M, Molinaro P, Roux O (2009) Expressiveness of petri nets with stopwatches. discrete-time part. Fundamenta Informaticae 97(1-2):139\u2013176","journal-title":"Fundamenta Informaticae"},{"key":"347_CR35","unstructured":"Merlin PM (1974) A study of the recoverability of computing systems. PhD thesis, Univ. of California"},{"key":"347_CR36","doi-asserted-by":"crossref","unstructured":"Moalla M, Pulou J, Sifakis J (1978) Synchronized petri nets: A model for the description of non- autonomous sytems. In: Proc. of the 7th int symposium on mathematical foundations of computer science (MFCS), Poland","DOI":"10.1007\/3-540-08921-7_85"},{"issue":"1","key":"347_CR37","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1007\/s10626-016-0225-6","volume":"26","author":"M Pocci","year":"2016","unstructured":"Pocci M, Demongodin I, Giambiasi NAG (2016) Synchronizing sequences on a class of unbounded systems using synchronized petri nets. Discret Event Dyn Syst 26(1):85\u2013108","journal-title":"Discret Event Dyn Syst"},{"issue":"4","key":"347_CR38","first-page":"227","volume":"27","author":"L Popova","year":"1991","unstructured":"Popova L (1991) On time petri nets. J Inf Process Cybern - EIK 27(4):227\u2013244","journal-title":"J Inf Process Cybern - EIK"},{"key":"347_CR39","doi-asserted-by":"crossref","unstructured":"Reynier PA, Sangnier A (2009) Weak time petri nets strike back!. In: Proc. of the 20th int. conf on concurrency theory (CONCUR), Italy","DOI":"10.1007\/978-3-642-04081-8_37"},{"key":"347_CR40","doi-asserted-by":"crossref","unstructured":"Ribeiro O, Fernandes JM (2007) Translating synchronous petri nets into promela for verifying behavioural properties. In: Proc. of the IEEE int symposium on industrial embedded systems (SIES), Portugal","DOI":"10.1109\/SIES.2007.4297344"},{"issue":"5-6","key":"347_CR41","doi-asserted-by":"publisher","first-page":"595","DOI":"10.1007\/s00170-008-1497-2","volume":"41","author":"M Uzam","year":"2009","unstructured":"Uzam M, Koc I, Gelen G, Aksebzeci B (2009) Asynchronous implementation of discrete event controllers based on safe automation Petri nets. Int J Adv Manuf Techn 41(5-6):595\u2013612","journal-title":"Int J Adv Manuf Techn"},{"key":"347_CR42","doi-asserted-by":"crossref","unstructured":"Wegrzyn M, Adamski M, Karatkevich A, Munoz A (2014) FPGA-based embedded logic controllers. In: Proc. 7th int. conf on human system interactions (HSI), Portugal","DOI":"10.1109\/HSI.2014.6860484"}],"container-title":["Discrete Event Dynamic Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-021-00347-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10626-021-00347-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-021-00347-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,3,14]],"date-time":"2022-03-14T09:11:43Z","timestamp":1647249103000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10626-021-00347-z"}},"subtitle":["Definition, semantics and formal analysis"],"short-title":[],"issued":{"date-parts":[[2021,9,8]]},"references-count":42,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2022,3]]}},"alternative-id":["347"],"URL":"https:\/\/doi.org\/10.1007\/s10626-021-00347-z","relation":{},"ISSN":["0924-6703","1573-7594"],"issn-type":[{"value":"0924-6703","type":"print"},{"value":"1573-7594","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,9,8]]},"assertion":[{"value":"15 February 2021","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"29 July 2021","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"8 September 2021","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}