{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T04:27:46Z","timestamp":1743049666913,"version":"3.40.3"},"publisher-location":"Cham","reference-count":23,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319077338"},{"type":"electronic","value":"9783319077345"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-07734-5_16","type":"book-chapter","created":{"date-parts":[[2014,7,1]],"date-time":"2014-07-01T09:57:34Z","timestamp":1404208654000},"page":"294-313","source":"Crossref","is-referenced-by-count":3,"title":["Dynamic Networks of Timed Petri Nets"],"prefix":"10.1007","author":[{"given":"Mar\u00eda","family":"Martos-Salgado","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fernando","family":"Rosa-Velardo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1-2","key":"16_CR1","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1006\/inco.1999.2843","volume":"160","author":"P.A. Abdulla","year":"2000","unstructured":"Abdulla, P.A., Cerans, K., Jonsson, B., Tsay, Y.-K.: Algorithmic analysis of programs with well quasi-ordered domains. Inf. Comput.\u00a0160(1-2), 109\u2013127 (2000)","journal-title":"Inf. Comput."},{"key":"16_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1007\/978-3-540-30206-3_24","volume-title":"Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems","author":"P.A. Abdulla","year":"2004","unstructured":"Abdulla, P.A., Deneux, J., Mahata, P., Nyl\u00e9n, A.: Forward reachability analysis of timed Petri nets. In: Lakhnech, Y., Yovine, S. (eds.) FORMATS\/FTRTFT 2004. LNCS, vol.\u00a03253, pp. 343\u2013362. Springer, Heidelberg (2004)"},{"key":"16_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"298","DOI":"10.1007\/BFb0054179","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"P.A. Abdulla","year":"1998","unstructured":"Abdulla, P.A., Jonsson, B.: Verifying networks of timed processes (Extended abstract). In: Steffen, B. (ed.) TACAS 1998. LNCS, vol.\u00a01384, pp. 298\u2013312. Springer, Heidelberg (1998)"},{"key":"16_CR4","doi-asserted-by":"crossref","unstructured":"Abdulla, P.A., Mahata, P., Mayr, R.: Dense-timed Petri nets: Checking zenoness, token liveness and boundedness. Logical Methods in Computer Science\u00a03(1) (2007)","DOI":"10.2168\/LMCS-3(1:1)2007"},{"key":"16_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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)"},{"key":"16_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1007\/978-3-540-48654-1_16","volume-title":"CONCUR \u201994: Concurrency Theory","author":"R. Alur","year":"1994","unstructured":"Alur, R., Courcoubetis, C., Henzinger, T.A.: The observational power of clocks. In: Jonsson, B., Parrow, J. (eds.) CONCUR 1994. LNCS, vol.\u00a0836, pp. 162\u2013177. Springer, Heidelberg (1994)"},{"key":"16_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1007\/978-3-642-39958-9_2","volume-title":"Parallel Computing Technologies","author":"V.A. Bashkin","year":"2013","unstructured":"Bashkin, V.A., Lomazova, I.A., Novikova, Y.A.: Timed resource driven automata nets for distributed real-time systems modelling. In: Malyshkin, V. (ed.) PaCT 2013. LNCS, vol.\u00a07979, pp. 13\u201325. Springer, Heidelberg (2013)"},{"issue":"3","key":"16_CR8","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. Fundam. Inform.\u00a088(3), 225\u2013249 (2008)","journal-title":"Fundam. Inform."},{"key":"16_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1007\/3-540-44988-4_12","volume-title":"Application and Theory of Petri Nets 2000","author":"D. Frutos Escrig de","year":"2000","unstructured":"de Frutos Escrig, D., Ruiz, V.V., Marroqu\u00edn Alonso, O.: 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)"},{"issue":"1-2","key":"16_CR10","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1016\/S0304-3975(00)00102-X","volume":"256","author":"A. Finkel","year":"2001","unstructured":"Finkel, A., Schnoebelen, P.: Well-structured transition systems everywhere! Theor. Comput. Sci.\u00a0256(1-2), 63\u201392 (2001)","journal-title":"Theor. Comput. Sci."},{"key":"16_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1007\/978-3-642-38697-8_4","volume-title":"Application and Theory of Petri Nets and Concurrency","author":"G. Geeraerts","year":"2013","unstructured":"Geeraerts, G., Heussner, A., Praveen, M., Raskin, J.-F.: \u03c9-petri nets. In: Colom, J.-M., Desel, J. (eds.) PETRI NETS 2013. LNCS, vol.\u00a07927, pp. 49\u201369. Springer, Heidelberg (2013)"},{"key":"16_CR12","doi-asserted-by":"crossref","unstructured":"Haddad, S., Schmitz, S., Schnoebelen, P.: The ordinal-recursive complexity of timed-arc Petri nets, data nets, and other enriched nets. In: LICS, pp. 355\u2013364. IEEE (2012)","DOI":"10.1109\/LICS.2012.46"},{"issue":"1","key":"16_CR13","doi-asserted-by":"publisher","first-page":"326","DOI":"10.1112\/plms\/s3-2.1.326","volume":"s3-2","author":"Graham Higman","year":"1952","unstructured":"Higman, G.: Ordering by Divisibility in Abstract Algebras. Proc. London Math. Soc.\u00a0s3-2(1), 326\u2013336 (1952)","journal-title":"Proceedings of the London Mathematical Society"},{"key":"16_CR14","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1016\/j.tcs.2011.12.038","volume":"429","author":"J. Kleijn","year":"2012","unstructured":"Kleijn, J., Koutny, M.: Localities in systems with a\/sync communication. Theoretical Computer Science\u00a0429, 185 (2012)","journal-title":"Theoretical Computer Science"},{"issue":"3","key":"16_CR15","first-page":"251","volume":"88","author":"R. Lazic","year":"2008","unstructured":"Lazic, R., Newcomb, T., Ouaknine, J., Roscoe, A.W., Worrell, J.: Nets with tokens which carry data. Fundam. Inform.\u00a088(3), 251\u2013274 (2008)","journal-title":"Fundam. Inform."},{"key":"16_CR16","unstructured":"Martos-Salgado, M., Rosa-Velardo, F.: Dynamic networks of timed Petri nets. Technical Report 9\/13, DSIC Universidad Complutense de Madrid (2013), \n                    \n                      http:\/\/antares.sip.ucm.es\/~frosa\/"},{"key":"16_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"516","DOI":"10.1007\/978-3-319-04921-2_42","volume-title":"Language and Automata Theory and Applications","author":"M. Martos-Salgado","year":"2014","unstructured":"Martos-Salgado, M., Rosa-Velardo, F.: Expressiveness of dynamic networks of timed petri nets. In: Dediu, A.-H., Mart\u00edn-Vide, C., Sierra-Rodr\u00edguez, J.-L., Truthe, B. (eds.) LATA 2014. LNCS, vol.\u00a08370, pp. 516\u2013527. Springer, Heidelberg (2014)"},{"issue":"9","key":"16_CR18","doi-asserted-by":"publisher","first-page":"1036","DOI":"10.1109\/TCOM.1976.1093424","volume":"24","author":"P. Merlin","year":"1976","unstructured":"Merlin, P., Farber, D.: Recoverability of communication protocols\u2013implications of a theoretical study. IEEE Transactions on Comm.\u00a024(9), 1036\u20131043 (1976)","journal-title":"IEEE Transactions on Comm."},{"key":"16_CR19","unstructured":"Pezz\u00e8, M.: Time Petri nets. In: Proceedings of the Multi-Workshop on Formal Methods in Performance Evaluation and Applications (1999)"},{"key":"16_CR20","unstructured":"Ramchandani, C.: Analysis of asynchronous concurrent systems by timed Petri nets. Technical report, Cambridge, MA, USA (1974)"},{"key":"16_CR21","unstructured":"Razouk, R.R., Phelps, C.V.: Performance analysis using timed Petri nets. In: Yemini, Y., Strom, R.E., Yemini, S. (eds.) PSTV, pp. 561\u2013576. North-Holland (1984)"},{"issue":"3","key":"16_CR22","first-page":"329","volume":"88","author":"F. Rosa-Velardo","year":"2008","unstructured":"Rosa-Velardo, F., de Frutos-Escrig, D.: Name creation vs. replication in Petri net systems. Fundam. Inform.\u00a088(3), 329\u2013356 (2008)","journal-title":"Fundam. Inform."},{"issue":"34","key":"16_CR23","doi-asserted-by":"publisher","first-page":"4439","DOI":"10.1016\/j.tcs.2011.05.007","volume":"412","author":"F. Rosa-Velardo","year":"2011","unstructured":"Rosa-Velardo, F., de Frutos-Escrig, D.: Decidability and complexity of Petri nets with unordered data. Theor. Comput. Sci.\u00a0412(34), 4439\u20134451 (2011)","journal-title":"Theor. Comput. Sci."}],"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-319-07734-5_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T01:20:34Z","timestamp":1558920034000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-07734-5_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319077338","9783319077345"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-07734-5_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}