{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T14:39:52Z","timestamp":1775054392085,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540600299","type":"print"},{"value":"9783540494089","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-60029-9_56","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:31:18Z","timestamp":1330277478000},"page":"490-509","source":"Crossref","is-referenced-by-count":13,"title":["Timed processes of Timed Petri Nets"],"prefix":"10.1007","author":[{"given":"Valent\u00edn","family":"Valero","sequence":"first","affiliation":[]},{"given":"David de","family":"Frutos","sequence":"additional","affiliation":[]},{"given":"Fernando","family":"Cuartero","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,9]]},"reference":[{"key":"28_CR1","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/0304-3975(87)90090-9","volume":"55","author":"E. Best","year":"1987","unstructured":"Best E., Devillers R.: Sequential and Concurrent Behaviour in Petri Net Theory. Theoretical Computer Science, 55(87\u2013136), 1987.","journal-title":"Theoretical Computer Science"},{"key":"28_CR2","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1007\/3-540-10001-6_22","volume":"84","author":"H.J. Genrich","year":"1980","unstructured":"H.J. Genrich, K. Lautenbach, P.S. Thiagarajan: Elements of general net theory. Net Theory and Applications, LNCS 84 (21\u2013163), 1980.","journal-title":"Net Theory and Applications, LNCS"},{"key":"28_CR3","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1016\/S0019-9958(83)80040-0","volume":"no. 57","author":"U. Goltz","year":"1983","unstructured":"U. Goltz, W. Reisig.: The non-sequential behaviour of Petri nets. Inform. and control no. 57 (125\u2013147), 1983.","journal-title":"Inform. and control"},{"key":"28_CR4","unstructured":"P. Merlin.: A Study of the Recoverability of Communication Protocols. Thesis Doc. Computer Science Dep. Univ. California, 1974."},{"key":"28_CR5","unstructured":"J.L. Peterson: Petri Net Theory and the Modeling of Systems. Prentice-Hall, 1991."},{"key":"28_CR6","unstructured":"C. Ramchandani.: Analysis of Asynchronous Concurrent Systems by Timed Petri Nets. Project MAC, TR 120, MIT, 1974."},{"key":"28_CR7","doi-asserted-by":"crossref","unstructured":"Peter H. Starke. Some Properties of Timed Nets Under the Earliest Firing Rule. Advances of Petri Nets, 1989, LNCS 424.","DOI":"10.1007\/3-540-52494-0_39"},{"key":"28_CR8","doi-asserted-by":"crossref","unstructured":"V. Valero, D. de Frutos, F. Cuartero.: Simulation of Timed Petri Nets by Ordinary Petri Nets and Applications to Decidability of the Timed Reachability Problem and other related problems. Proc. Fourth Intern. Workshop of Petri Nets and Performance Models, pp. 154\u2013163, Melbourne, 1991.","DOI":"10.1109\/PNPM.1991.238772"},{"key":"28_CR9","unstructured":"V. Valero, D. de Frutos, F. Cuartero.: Decidability of the Strict Reachability Problem for TPN's with Rational and Real Durations. Proc. Fifth Intern. Workshop of Petri Nets and Performance Models, pp. 56\u201365, Toulouse, 1993."},{"key":"28_CR10","doi-asserted-by":"crossref","unstructured":"W. Vogler.: Deciding History Preserving Bisimilarity. Lect. Notes in Computer Science, 510, Proc. ICALP 1991.","DOI":"10.1007\/3-540-54233-7_158"},{"key":"28_CR11","unstructured":"B. Walter. Timed-Petri Nets for Modelling and Analysing Protocols with Real-Time Characteristics. Proc. 3rd IFIP Workshop on Protocol Specification, Testing and Verification, North-Holland, 1983."},{"key":"28_CR12","doi-asserted-by":"crossref","unstructured":"J. Winkowski.: Algebras of Processes of Timed Petri Nets. Proc. of CONCUR'94. 1994.","DOI":"10.1007\/978-3-540-48654-1_18"}],"container-title":["Lecture Notes in Computer Science","Application and Theory of Petri Nets 1995"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60029-9_56.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:28:15Z","timestamp":1605648495000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60029-9_56"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540600299","9783540494089"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-60029-9_56","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1995]]}}}