{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,3]],"date-time":"2026-10-03T22:15:50Z","timestamp":1791065750730,"version":"4.1.0"},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540730934","type":"print"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-73094-1_7","type":"book-chapter","created":{"date-parts":[[2007,6,30]],"date-time":"2007-06-30T05:53:56Z","timestamp":1183182836000},"page":"63-82","source":"Crossref","is-referenced-by-count":20,"title":["Comparison of the Expressiveness of Arc, Place and Transition Time Petri Nets"],"prefix":"10.1007","author":[{"given":"M.","family":"Boyer","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"O. H.","family":"Roux","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"7_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1007\/3-540-45740-2_5","volume-title":"Applications and Theory of Petri Nets 2001","author":"P.A. Abdulla","year":"2001","unstructured":"Abdulla, P.A., Nyl\u00e9n, A.: Timed petri nets and BQOs. In: Colom, J.-M., Koutny, M. (eds.) ICATPN 2001. LNCS, vol.\u00a02075, pp. 53\u201370. Springer, Heidelberg (2001)"},{"issue":"2","key":"7_CR2","doi-asserted-by":"publisher","first-page":"409","DOI":"10.1016\/S0304-3975(99)00114-0","volume":"243","author":"T. Aura","year":"2000","unstructured":"Aura, T., Lilius, J.: A causal semantics for time petri nets. Theoretical Computer Science\u00a0243(2), 409\u2013447 (2000)","journal-title":"Theoretical Computer Science"},{"key":"7_CR3","series-title":"Lecture Notes in Computer Science","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"B. Berard","year":"2005","unstructured":"Berard, B., Cassez, F., Haddad, S., Lime, D., Roux, O.H.: Comparison of the expressiveness of timed automata and time Petri nets. In: Pettersson, P., Yi, W. (eds.) FORMATS 2005. LNCS, vol.\u00a03829, Springer, Heidelberg (2005)"},{"key":"7_CR4","unstructured":"Berthomieu, B.: La m\u00e9thode des classes d\u2019\u00e9tats pour l\u2019analyse des r\u00e9seaux temporels. mise en \u0153uvre, extension \u00e0 la multi-sensibilisation. In: Mod\u00e9lisation des Syst\u00e9mes R\u00e9actifs (MSR\u201901), Toulouse (Fr), pp. 275\u2013290, (17\u201319 Octobre 2001)"},{"issue":"3","key":"7_CR5","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1109\/32.75415","volume":"17","author":"B. Berthomieu","year":"1991","unstructured":"Berthomieu, B., Diaz, M.: Modeling and verification of time dependent systems using time petri nets. IEEE transactions on software engineering\u00a017(3), 259\u2013273 (March 1991)","journal-title":"IEEE transactions on software engineering"},{"key":"7_CR6","unstructured":"Boyer, M., Vernadat, F.: Language and bisimulation relations between subclasses of timed petri nets with strong timing semantic. Technical report, LAAS (2000)"},{"key":"7_CR7","doi-asserted-by":"crossref","unstructured":"Boyer, M.: Translation from timed Petri nets with interval on transitions to interval on places (with urgency). In: Workshop on Theory and Practice of Timed Systems, vol. 65 of ENTCS, Grenoble, France, April 2002. Elsevier Science (2002)","DOI":"10.1016\/S1571-0661(04)80467-5"},{"key":"7_CR8","volume-title":"Proc. of the 9th IEEE International Workshop on Petri Nets and Performance Models","author":"M. Boyer","year":"2001","unstructured":"Boyer, M., Diaz, M.: Multiple enabledness of transitions in time Petri nets. In: Proc. of the 9th IEEE International Workshop on Petri Nets and Performance Models, Aachen, Germany, September 11\u201314, 2001, IEEE Computer Society, Washington (2001)"},{"key":"7_CR9","unstructured":"Boyer, M., Roux, O. H.: Comparison of the expressiveness w.r.t. timed bisimilarity of k-bounded arc, place and transition time Petri nets with weak and strong single server semantics. Technical Report RI, -15, IRCCyN (2006) \n                    \n                      http:\/\/www.irccyn.ec-nantes.fr\/hebergement\/Publications\/2006\/3437.pdf"},{"key":"7_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/11590156_22","volume-title":"FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science","author":"B. B\u00e9rard","year":"2005","unstructured":"B\u00e9rard, B., Cassez, F., Haddad, S., Lime, D., Roux, O.H.: When are timed automata weakly timed bisimilar to time Petri nets? In: Ramanujam, R., Sen, S. (eds.) FSTTCS 2005. LNCS, vol.\u00a03821, Springer, Heidelberg (2005)"},{"issue":"10","key":"7_CR11","doi-asserted-by":"publisher","first-page":"1456","DOI":"10.1016\/j.jss.2005.12.021","volume":"79","author":"F. Cassez","year":"2006","unstructured":"Cassez, F., Roux, O.H.: Structural translation from Time Petri Nets to Timed Automata \u2013 Model-Checking Time Petri Nets via Timed Automata. The journal of Systems and Software\u00a079(10), 1456\u20131468 (2006)","journal-title":"The journal of Systems and Software"},{"key":"7_CR12","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0304-3975(98)00008-5","volume":"216","author":"A. Cerone","year":"1999","unstructured":"Cerone, A., Maggiolo-Schettini, A.: Timed based expressivity of time petri nets for system specification. Theoretical Computer Science\u00a0216, 1\u201353 (1999)","journal-title":"Theoretical Computer Science"},{"key":"7_CR13","series-title":"Lecture Notes in Computer Science","first-page":"187","volume-title":"Application and Theory of Petri Nets 2000","author":"D. Frutos Escrig de","year":"2000","unstructured":"de Frutos Escrig, D., Ruiz, V.V., Alonso, O.M.: Decidability of properties of timed-arc Petri nets. In: Nielsen, M., Simpson, D. (eds.) ICATPN 2000. LNCS, vol.\u00a01825, pp. 187\u2013206. Springer, Heidelberg (2000)"},{"key":"7_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"282","DOI":"10.1007\/3-540-56863-8_52","volume-title":"Application and Theory of Petri Nets 1993","author":"H.M. Hanisch","year":"1993","unstructured":"Hanisch, H.M.: Analysis of place\/transition nets with timed-arcs and its application to batch process control. In: Ajmone Marsan, M. (ed.) Application and Theory of Petri Nets 1993. LNCS, vol.\u00a0691, pp. 282\u2013299. Springer, Heidelberg (1993)"},{"key":"7_CR15","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1016\/0304-3975(77)90014-7","volume":"4","author":"N.D. Jones","year":"1977","unstructured":"Jones, N.D., Landweber, L.H., Lien, Y.E.: Complexity of some problems in Petri nets. Theoretical Computer Science\u00a04, 277\u2013299 (1977)","journal-title":"Theoretical Computer Science"},{"key":"7_CR16","unstructured":"Khansa, W., Denat, J.-P., Collart-Dutilleul, S.: P-time Petri nets for manufacturing systems. In: International Workshop on Discrete Event Systems, WODES\u201996, Edinburgh (U.K.), pp. 94\u2013102 (August 1996)"},{"key":"7_CR17","unstructured":"Khanza, W.: R\u00e9seau de Petri P-Temporels. Contribution \u00e1 l\u2019\u00e9tude des syst\u00e9mes \u00e1 \u00e9v\u00e9nements discrets. PhD thesis, Universit\u00e9 de Savoie (1992)"},{"key":"7_CR18","unstructured":"Merlin, P.M.: A study of the recoverability of computing systems. PhD thesis, Dep. of Information and Computer Science, University of California, Irvine, CA (1974)"},{"key":"7_CR19","unstructured":"Pezz\u00e8, M.: Time Petri Nets: A Primer Introduction. Tutorial presented at the Multi-Workshop on Formal Methods in Performance Evaluation and Applications, Zaragoza, Spain (September 1999)"},{"key":"7_CR20","unstructured":"Ramchandani, C.: Analysis of asynchronous concurrent systems by timed Petri nets. PhD thesis, Massachusetts Institute of Technology, Cambridge, MA, Project MAC Report MAC-TR-120 (1974)"},{"key":"7_CR21","series-title":"Lecture Notes in Computer Science","volume-title":"Net Theory and Applications","author":"J. Sifakis","year":"1980","unstructured":"Sifakis, J.: Performance Evaluation of Systems using Nets. In: Brauer, W. (ed.) Net Theory and Applications: Proc. of the advanced course on general net theory, processes and systems, LNCS, vol.\u00a084, Springer, Heidelberg (1980)"},{"key":"7_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"385","DOI":"10.1007\/11494744_22","volume-title":"Applications and Theory of Petri Nets 2005","author":"J. Srba","year":"2005","unstructured":"Srba, J.: Timed-arc Petri nets vs. networks of timed automata. In: Ciardo, G., Darondeau, P. (eds.) ICATPN 2005. LNCS, vol.\u00a03536, pp. 385\u2013402. Springer, Heidelberg (2005)"},{"key":"7_CR23","unstructured":"Walter, B.: Timed net for modeling and analysing protocols with time. In: Proceedings of the IFIP Conference on Protocol Specification Testing and Verification, North Holland (1983)"}],"container-title":["Lecture Notes in Computer Science","Petri Nets and Other Models of Concurrency \u2013 ICATPN 2007"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-73094-1_7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T05:11:52Z","timestamp":1605762712000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-73094-1_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540730934"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-73094-1_7","relation":{},"subject":[]}}