{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,8]],"date-time":"2026-04-08T21:36:57Z","timestamp":1775684217238,"version":"3.50.1"},"reference-count":22,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2011,4,28]],"date-time":"2011-04-28T00:00:00Z","timestamp":1303948800000},"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,9]]},"DOI":"10.1007\/s10626-011-0102-2","type":"journal-article","created":{"date-parts":[[2011,4,27]],"date-time":"2011-04-27T01:19:46Z","timestamp":1303867186000},"page":"395-424","source":"Crossref","is-referenced-by-count":5,"title":["On the composition of time Petri nets"],"prefix":"10.1007","volume":"21","author":[{"given":"Florent","family":"Peres","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bernard","family":"Berthomieu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fran\u00e7ois","family":"Vernadat","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2011,4,28]]},"reference":[{"key":"102_CR1","doi-asserted-by":"crossref","unstructured":"B\u00e9rard B, Cassez F, Haddad S, Roux OH, Lime D (2005a) Comparison of the expressiveness of timed automata and time Petri nets. In: Formal modeling and analysis of timed systems (FORMATS). LNCS 3829, pp 211\u2013225","DOI":"10.1007\/11603009_17"},{"key":"102_CR2","doi-asserted-by":"crossref","unstructured":"B\u00e9rard B, Cassez F, Haddad S, Roux OH, Lime D (2005b) When are timed automata weakly timed bisimilar to time Petri nets? In: 25th conference on foundations of software technology and theoretical computer science. LNCS 3821. Springer, pp 261\u2013272","DOI":"10.1007\/11590156_22"},{"key":"102_CR3","first-page":"41","volume":"9","author":"B Berthomieu","year":"1983","unstructured":"Berthomieu B, Menasche M (1983) An enumerative approach for analyzing time Petri nets. IFIP Congr Ser 9:41\u201346","journal-title":"IFIP Congr Ser"},{"key":"102_CR4","doi-asserted-by":"crossref","unstructured":"Berthomieu B, Vernadat F (2003) State class constructions for branching analysis of time Petri nets. In: Proc. tools and algorithms for the construction and analysis of systems. LNCS 2619. Springer","DOI":"10.1007\/3-540-36577-X_33"},{"key":"102_CR5","unstructured":"Berthomieu B, Ribet P-O, Vernadat F (2003) L\u2019outil Tina\u2014construction d\u2019espaces d\u2019etats abstraits pour les r\u00e9seaux de Petri et r\u00e9seaux temporels. In: Proc. Mod\u00e9lisation des Syst\u00e8mes R\u00e9actifs, Metz, France"},{"issue":"14","key":"102_CR6","doi-asserted-by":"crossref","first-page":"2741","DOI":"10.1080\/00207540412331312688","volume":"42","author":"B Berthomieu","year":"2004","unstructured":"Berthomieu B, Ribet P-O, Vernadat F (2004) The tool TINA\u2014construction 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":"102_CR7","doi-asserted-by":"crossref","unstructured":"Berthomieu B, Peres F, Vernadat F (2006) Bridging the gap between timed automata and bounded time Petri nets. In: 4th int. conf. on formal modelling and analysis of timed systems (FORMATS). LNCS 4202. Springer","DOI":"10.1007\/11867340_7"},{"key":"102_CR8","series-title":"Lecture notes in computer science","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1007\/978-3-540-73094-1_7","volume-title":"Petri nets and other models of concurrency\u2014ICATPN 2007","author":"M Boyer","year":"2007","unstructured":"Boyer M, Roux O (2007) Comparison of the expressiveness of arc, place and transition time Petri nets. In: Kleijn J, Yakovlev A (eds) Petri nets and other models of concurrency\u2014ICATPN 2007. Lecture notes in computer science, vol 4546. Springer Berlin\/Heidelberg, pp 63\u201382"},{"key":"102_CR9","unstructured":"Bouyer P, Haddad S, Reynier P-A (2006) Extended timed automata and time Petri nets. In: Proc. of 6th international conference on application of concurrency to system design (ACSD\u201906), Turku, Finland. IEEE Computer Society Press"},{"key":"102_CR10","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1016\/0304-3975(88)90098-9","volume":"59","author":"MC Browne","year":"1988","unstructured":"Browne MC, Clarke EM, Gr\u00fcmberg O (1988) Characterizing finite Kripke structures in propositional temporal logics. TCS 59:115\u2013131","journal-title":"TCS"},{"issue":"12","key":"102_CR11","doi-asserted-by":"crossref","first-page":"969","DOI":"10.1109\/32.489073","volume":"21","author":"G Bucci","year":"1995","unstructured":"Bucci G, Vicario E (1995) Compositional validation of time-critical systems using communicating time Petri nets. IEEE Trans Softw Eng 21(12):969\u2013992","journal-title":"IEEE Trans Softw Eng"},{"issue":"1","key":"102_CR12","doi-asserted-by":"crossref","first-page":"1456","DOI":"10.1016\/j.jss.2005.12.021","volume":"29","author":"F Cassez","year":"2006","unstructured":"Cassez F, Roux OH (2006) Structural translation from time Petri nets to timed automata. J Syst Softw 29(1):1456\u20131468","journal-title":"J Syst Softw"},{"key":"102_CR13","doi-asserted-by":"crossref","unstructured":"Gardey G, Lime D, Magnin M, Roux OH (2005) Rom\u00e9o: a tool for analyzing time Petri nets. In: 17th international conference on computer aided verification, CAV\u201905. LNCS 3576. Springer","DOI":"10.1007\/11513988_41"},{"key":"102_CR14","doi-asserted-by":"crossref","unstructured":"G\u00f6ssler G, Sifakis J (2003) Composition for components-based modeling. In: Formal methods for components and objects. LNCS 2852. Springer, pp 443\u2013466","DOI":"10.1007\/978-3-540-39656-7_19"},{"key":"102_CR15","unstructured":"Hack M (1976) Petri net languages. Technical Report 159. MIT, Cambridge, MA"},{"key":"102_CR16","unstructured":"Larsen KG, Pettersson P, Yi WY (1995) Model-checking for real-time systems. In: Fundamentals of computation theory. LNCS 965, pp 62\u201388"},{"issue":"9","key":"102_CR17","doi-asserted-by":"crossref","first-page":"1036","DOI":"10.1109\/TCOM.1976.1093424","volume":"24","author":"PM Merlin","year":"1976","unstructured":"Merlin PM, Farber DJ (1976) Recoverability of communication protocols: implications of a theoretical study. IEEE Trans Commun 24(9):1036\u20131043","journal-title":"IEEE Trans Commun"},{"key":"102_CR18","unstructured":"Peres F (2010) R\u00e9seaux de Petri temporels \u00e0 inhibitions\/permissions\u2014application \u00e0 la mod\u00e9lisation de syst\u00e8mes de t\u00e2ches temps r\u00e9el. Th\u00e8se de l\u2019Universit\u00e9 de Toulouse, Janvier"},{"issue":"7\u20139","key":"102_CR21","doi-asserted-by":"crossref","first-page":"1001","DOI":"10.3166\/jesa.43.1001-1015","volume":"43","author":"F Peres","year":"2009","unstructured":"Peres F, Berthomieu B, Vernadat F (2009) Composer les r\u00e9seaux de Petri temporels. Journal Europeen des Systemes Automatises 43(7\u20139):1001\u20131015. http:\/\/hal.archives-ouvertes.fr\/hal-00438377\/fr\/","journal-title":"Journal Europeen des Systemes Automatises"},{"key":"102_CR19","doi-asserted-by":"crossref","unstructured":"Sifakis J, Yovine S (1996) Compositional specification of timed systems. In: 13th annual symp. on theoretical aspects of computer science (STACS). LNCS 1046, Springer, pp 347\u2013359","DOI":"10.1007\/3-540-60922-9_29"},{"key":"102_CR20","series-title":"Lecture notes in computer science","volume-title":"CONCUR \u201990 theories of concurrency: unification and extension","author":"R Glabbeek van","year":"1990","unstructured":"van Glabbeek R (1990) The linear time\u2014branching time spectrum. In: Baeten J, Klop J (eds) CONCUR \u201990 theories of concurrency: unification and extension. Lecture notes in computer science, vol 458. Springer Berlin\/Heidelberg"},{"key":"102_CR22","series-title":"Lecture notes in computer science","doi-asserted-by":"crossref","first-page":"502","DOI":"10.1007\/BFb0039080","volume-title":"\u201990 theories of concurrency: unification and extension","author":"Y Wang","year":"1990","unstructured":"Wang Y (1990) Real-time behaviour of asynchronous agents. In: Baeten J, Klop J (eds) CONCUR \u201990 theories of concurrency: unification and extension. Lecture notes in computer science, vol 458. Springer Berlin\/Heidelberg, pp 502\u2013520"}],"container-title":["Discrete Event Dynamic Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-011-0102-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10626-011-0102-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-011-0102-2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,10]],"date-time":"2019-06-10T10:05:42Z","timestamp":1560161142000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10626-011-0102-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,4,28]]},"references-count":22,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2011,9]]}},"alternative-id":["102"],"URL":"https:\/\/doi.org\/10.1007\/s10626-011-0102-2","relation":{},"ISSN":["0924-6703","1573-7594"],"issn-type":[{"value":"0924-6703","type":"print"},{"value":"1573-7594","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,4,28]]}}}