{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:42:49Z","timestamp":1725489769912},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540430674"},{"type":"electronic","value":"9783540455417"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45541-8_14","type":"book-chapter","created":{"date-parts":[[2007,8,16]],"date-time":"2007-08-16T10:55:33Z","timestamp":1187261733000},"page":"457-485","source":"Crossref","is-referenced-by-count":1,"title":["Continuous Petri Nets and Transition Systems"],"prefix":"10.1007","author":[{"given":"Manfred","family":"Droste","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R. M.","family":"Shortt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,12,18]]},"reference":[{"key":"14_CR1","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0304-3975(94)00202-T","volume":"138","author":"R. Alur","year":"1995","unstructured":"R. Alur, C. Courcoubetis, N. Halbwachs, T. A. Henzinger, P.-H. Ho, X. Nicollin, A. Olivero, J. Sifakis, S. Yovine: The algorithmic analysis of hybrid systems Theoretical Computer Science 138 (1995) 3\u201334.","journal-title":"Theoretical Computer Science"},{"key":"14_CR2","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1142\/S0218126698000079","volume":"8","author":"H. Alla","year":"1998","unstructured":"H. Alla and R. David: Continuous and hybrid Petri nets. Journal of Circuits, Systems and Computers, 8, (1998) 159\u2013188.","journal-title":"Journal of Circuits, Systems and Computers"},{"key":"14_CR3","doi-asserted-by":"crossref","first-page":"647","DOI":"10.1007\/BF01186645","volume":"32","author":"E. Badouel","year":"1995","unstructured":"E. Badouel and P. Darondeau: Trace nets and process automata. Acta Informatica 32 (1995), 647\u2013679.","journal-title":"Acta Informatica"},{"key":"14_CR4","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"529","DOI":"10.1007\/3-540-65306-6_22","volume-title":"in: Third Advanced Course on Petri Nets","author":"E. Badouel","year":"1998","unstructured":"E. Badouel and P. Darondeau: Theory of regions in: Third Advanced Course on Petri Nets, Dagstuhl Castle, Lecture Notes in Computer Science vol. 1279, Springer, 1998, 529\u2013586."},{"key":"14_CR5","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1016\/0005-1098(94)90024-8","volume":"30","author":"R. David","year":"1994","unstructured":"R. David and H. Alla: Petri nets for modeling of dynamic systems-a survey. Automatica 30 (1994), 175\u2013202.","journal-title":"Automatica"},{"key":"14_CR6","doi-asserted-by":"crossref","unstructured":"E. Dubois, H. Alla and R. David: Continuous Petri net with maximal speeds depending on time. In: 4th Int. Conf. RPI, Computer Integrated Manufacturing and Automation Technology, Troy, USA, Oct. 1994.","DOI":"10.1109\/CIMAT.1994.389097"},{"key":"14_CR7","doi-asserted-by":"publisher","first-page":"573","DOI":"10.1109\/9.665073","volume":"43","author":"I. Demongodin","year":"1998","unstructured":"I. Demongodin and N. T. Koussoulas: Differential Petri nets: Representing continuous in a discrete-event world. IEEE Trans. on Automatic Control 43 (1998), 573\u2013579.","journal-title":"IEEE Trans. on Automatic Control"},{"key":"14_CR8","doi-asserted-by":"publisher","first-page":"389","DOI":"10.1142\/S0129054192000218","volume":"3","author":"M. Droste","year":"1992","unstructured":"M. Droste: Concurrent automata and domains. Intern. J. of Found. of Comp. Science 3 (1992), 389\u2013418.","journal-title":"Intern. J. of Found. of Comp. Science"},{"key":"14_CR9","unstructured":"M. Droste and R. M. Shortt: Petri nets and automata with concurrency relations-an adjunction. In: Semantics of Programming Languages and Model Theory (M. Droste, Y. Gurevich, eds.), Gordon and Breach Science Publ., 1993, 69\u201387."},{"key":"14_CR10","unstructured":"M. Droste and R.M. Shortt: From Petri nets to automata with concurrency. Applied Categorical Structures, to appear"},{"key":"14_CR11","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1007\/BF00264611","volume":"27","author":"A. Ehrenfeucht","year":"1990","unstructured":"A. Ehrenfeucht and G. Rozenberg: Partial 2-structures, Acta Informatica 27 (1990), 315\u2013342and 343\u2013368.","journal-title":"Acta Informatica"},{"key":"14_CR12","doi-asserted-by":"publisher","first-page":"443","DOI":"10.1142\/S0129054192000231","volume":"3","author":"M. Mukund","year":"1992","unstructured":"M. Mukund: Petri nets and step transition systems. Intern. J. of Found. of Comp. Science 3 (1992), 443\u2013478.","journal-title":"Intern. J. of Found. of Comp. Science"},{"key":"14_CR13","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0304-3975(92)90180-N","volume":"96","author":"M. Nielsen","year":"1992","unstructured":"M. Nielsen, G. Rozenberg and P.S. Thiagarajan: Elementary transition systems. Theor. Comp. Science 96 (1992), 3\u201333.","journal-title":"Theor. Comp. Science"},{"key":"14_CR14","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1007\/3-540-48745-X_8","volume-title":"Proc. 20th Int. Conf. on Applications and Theory of Petri Nets","author":"L. Recalde","year":"1999","unstructured":"L. Recalde, E. Teruel and M. Silva: Autonomous continuous P\/T systems. In: Proc. 20th Int. Conf. on Applications and Theory of Petri Nets, Lecture Notes in Computer Science, vol. 1639, Springer, 1999, 107\u2013126."},{"key":"14_CR15","unstructured":"G. Winskel and M. Nielsen: Models for concurrency. In: Handbook of Logic in Computer Science vol. 4 (S. Abramsky, D.M. Gabbay, T.S.E. Maibaum, eds.), Oxford University Press, 1995."}],"container-title":["Lecture Notes in Computer Science","Unifying Petri Nets"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45541-8_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,22]],"date-time":"2019-02-22T03:47:42Z","timestamp":1550807262000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45541-8_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540430674","9783540455417"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-45541-8_14","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}