{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,21]],"date-time":"2026-10-21T16:34:22Z","timestamp":1792600462847,"version":"4.5.0"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642386961","type":"print"},{"value":"9783642386978","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-38697-8_8","type":"book-chapter","created":{"date-parts":[[2013,6,19]],"date-time":"2013-06-19T01:48:46Z","timestamp":1371606526000},"page":"130-149","source":"Crossref","is-referenced-by-count":18,"title":["On Multi-enabledness in Time Petri Nets"],"prefix":"10.1007","author":[{"given":"Hanifa","family":"Boucheneb","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Didier","family":"Lime","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Olivier H.","family":"Roux","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"issue":"2","key":"8_CR1","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":"8_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1007\/11562948_23","volume-title":"Automated Technology for Verification and Analysis","author":"B. B\u00e9rard","year":"2005","unstructured":"B\u00e9rard, B., Cassez, F., Haddad, S., Lime, D., Roux, O.H.: Comparison of different semantics for time Petri nets. In: Peled, D.A., Tsay, Y.-K. (eds.) ATVA 2005. LNCS, vol.\u00a03707, pp. 293\u2013307. Springer, Heidelberg (2005)"},{"key":"8_CR3","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.H.: The expressive power of time Petri nets. Theoretical Computer Science\u00a0474, 1\u201320 (2013)","journal-title":"Theoretical Computer Science"},{"key":"8_CR4","first-page":"275","volume-title":"Mod\u00e9lisation des Syst\u00e8mes R\u00e9actifs, (MSR 2001)","author":"B. Berthomieu","year":"2001","unstructured":"Berthomieu, B.: La m\u00e9thode des classes d\u2019\u00e9tats pour l\u2019analyse des r\u00e9seaux temporels - mise en oeuvre, extension \u00e0 la multi-sensibilisation. In: Mod\u00e9lisation des Syst\u00e8mes R\u00e9actifs (MSR 2001), pp. 275\u2013290. Hermes, Toulouse (2001)"},{"key":"8_CR5","volume-title":"11th International Workshop on Discrete Event Systems (WODES 2012)","author":"H. Boucheneb","year":"2012","unstructured":"Boucheneb, H., Bullich, A., Roux, O.H.: FIFO Time Petri Nets for conflicts handling. In: 11th International Workshop on Discrete Event Systems (WODES 2012), IFAC, Guadalajara (2012)"},{"key":"8_CR6","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. IEEE Computer Society (2001)"},{"issue":"3","key":"8_CR7","first-page":"225","volume":"88","author":"M. Boyer","year":"2008","unstructured":"Boyer, M., Roux, O.H.: On the compared expressiveness of arc, place and transition time Petri nets. Fundamenta Informaticae\u00a088(3), 225\u2013249 (2008)","journal-title":"Fundamenta Informaticae"},{"key":"8_CR8","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":"8_CR9","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1109\/LICS.1995.523257","volume-title":"Proceedings of the 10th Annual IEEE Symposium on Logic in Computer Science, (LICS 1995)","author":"R. Glabbeek","year":"1995","unstructured":"Glabbeek, R., Plotkin, G.: Configuration structures. In: Proceedings of the 10th Annual IEEE Symposium on Logic in Computer Science (LICS 1995), pp. 199\u2013209. IEEE Computer Society Press, San Diego (1995)"},{"key":"8_CR10","unstructured":"Khansa, W., Denat, J.-P., Collart-Dutilleul, S.: P-time Petri nets for manufacturing systems. In: International Workshop on Discrete Event Systems (WODES 1996), Edinburgh (U.K.), pp. 94\u2013102 (August 1996)"},{"key":"8_CR11","unstructured":"Merlin, P.M.: A study of the recoverability of computing systems. PhD thesis, Department of Information and Computer Science, University of California, Irvine, CA (1974)"},{"key":"8_CR12","doi-asserted-by":"crossref","unstructured":"Myers, C.J., Rokicki, T.G., Meng, T.H.-Y.: Poset timing and its application to the timed cirucits. IEEE Transactions on CAD\u00a018(6) (1999)","DOI":"10.1109\/43.766727"},{"key":"8_CR13","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":"8_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"557","DOI":"10.1007\/978-3-642-04081-8_37","volume-title":"CONCUR 2009 - Concurrency Theory","author":"P.-A. Reynier","year":"2009","unstructured":"Reynier, P.-A., Sangnier, A.: Weak time petri nets strike back! In: Bravetti, M., Zavattaro, G. (eds.) CONCUR 2009. LNCS, vol.\u00a05710, pp. 557\u2013571. Springer, Heidelberg (2009)"},{"key":"8_CR15","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","Application and Theory of Petri Nets and Concurrency"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-38697-8_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,14]],"date-time":"2019-05-14T08:16:32Z","timestamp":1557821792000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-38697-8_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642386961","9783642386978"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-38697-8_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013]]}}}