{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T07:03:30Z","timestamp":1725606210860},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642231773"},{"type":"electronic","value":"9783642231780"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-23178-0_23","type":"book-chapter","created":{"date-parts":[[2011,9,10]],"date-time":"2011-09-10T07:15:58Z","timestamp":1315638958000},"page":"257-271","source":"Crossref","is-referenced-by-count":0,"title":["Hypergraph Partitioning for the Parallel Computation of Continuous Petri Nets"],"prefix":"10.1007","author":[{"given":"Zuohua","family":"Ding","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hui","family":"Shen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jianwen","family":"Cao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"23_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1007\/3-540-57899-4_43","volume-title":"Graph-Theoretic Concepts in Computer Science","author":"P. Alimonti","year":"1994","unstructured":"Alimonti, P., Feuerstein, E.: Petri Nets, Hypergraphs and Conflicts. In: van Leeuwen, J. (ed.) WG 1993. LNCS, vol.\u00a0790, pp. 293\u2013309. Springer, Heidelberg (1994)"},{"key":"23_CR2","first-page":"403","volume-title":"Proceedings of the 28 th Design Automation Conference","author":"J.R. Burch","year":"1991","unstructured":"Burch, J.R., Clarke, E.M., Long, D.E.: Representing Circuts More Efficiently in Symbolic Model Checking. In: Proceedings of the 28 th Design Automation Conference, pp. 403\u2013407. IEEE Computer Society Press, Los Alamltos (1991)"},{"doi-asserted-by":"crossref","unstructured":"Burrage, K.: Parallel and Sequential Methods for Ordinary Differential Equations. Oxford Science Publications (1995)","key":"23_CR3","DOI":"10.1137\/1.9780898719659.ch10"},{"doi-asserted-by":"crossref","unstructured":"\u00c7ataly\u00fcrek, \u00dc., Aykanat, C.: A Hypergraph-partitioning Approach for Coarse-grain Decomposition. In: ACM\/IEEE Supercomputing, Denver (2001)","key":"23_CR4","DOI":"10.1145\/582034.582062"},{"issue":"7","key":"23_CR5","doi-asserted-by":"publisher","first-page":"673","DOI":"10.1109\/71.780863","volume":"10","author":"\u00dc. \u00c7ataly\u00fcrek","year":"1999","unstructured":"\u00c7ataly\u00fcrek, \u00dc., Aykanat, C.: Hypergraph-partitioningbased Decomposition for Parallel Sparse-matrix Vector Multiplication. IEEE Transactions on Parallel and Distributed Systems\u00a010(7), 673\u2013693 (1999)","journal-title":"IEEE Transactions on Parallel and Distributed Systems"},{"unstructured":"David, R., Alla, H.: Autonomous and Timed Continuous Petri Nets. In: Proceedings of 11 th Intl Conference on Application and Theory of Petri Nets, Paris, France, pp. 367\u2013381 (1990)","key":"23_CR6"},{"key":"23_CR7","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/BF00289519","volume":"2","author":"E.W. Dijkstra","year":"1971","unstructured":"Dijkstra, E.W.: Hierarchical Ordering of Sequential Processes. Acta Informatica\u00a02, 115\u2013138 (1971)","journal-title":"Acta Informatica"},{"key":"23_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-03466-4_1","volume-title":"Theoretical Aspects of Computing - ICTAC 2009","author":"Z. Ding","year":"2009","unstructured":"Ding, Z.: Static analysis of concurrent programs using ordinary differential equations. In: Leucker, M., Morgan, C. (eds.) ICTAC 2009. LNCS, vol.\u00a05684, pp. 1\u201335. Springer, Heidelberg (2009)"},{"key":"23_CR9","doi-asserted-by":"publisher","first-page":"908","DOI":"10.1016\/j.jpdc.2004.03.017","volume":"64","author":"N.J. Dingle","year":"2004","unstructured":"Dingle, N.J., Harrison, P.G., Knottenbelt, W.J.: Uniformization and Hypergraph Partitioning for The Distributed Computation of Response Time Densities in Very Large Markov Models. Journal of Parallel and Distributed Computing\u00a064, 908\u2013920 (2004)","journal-title":"Journal of Parallel and Distributed Computing"},{"key":"23_CR10","first-page":"517","volume-title":"Advances in Parallel Computing","author":"R. Ehrig","year":"1998","unstructured":"Ehrig, R., Nowak, U., Deuflhard, P.: Massively Parallel Linearly-implicit Extrapolation Algorithms As a Powerful Tool in Process Simulation. Parallel Computing: Fundamentals, Applications and New Directions, 517\u2013524 (1998)"},{"key":"23_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1007\/978-3-540-68746-7_17","volume-title":"Applications and Theory of Petri Nets","author":"K. Hiraishi","year":"2008","unstructured":"Hiraishi, K.: Performance evaluation of workflows using continuous petri nets with interval firing speeds. In: van Hee, K.M., Valk, R. (eds.) PETRI NETS 2008. LNCS, vol.\u00a05062, pp. 231\u2013250. Springer, Heidelberg (2008)"},{"issue":"2","key":"23_CR12","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1109\/MS.1985.230351","volume":"2","author":"D. Helmbold","year":"1985","unstructured":"Helmbold, D., Luckham, D.: Debugging Ada Tasking Programs. IEEE Software\u00a02(2), 47\u201357 (1985)","journal-title":"IEEE Software"},{"key":"23_CR13","doi-asserted-by":"publisher","first-page":"1519","DOI":"10.1016\/S0167-8191(00)00048-X","volume":"26","author":"B. Hendrickson","year":"2000","unstructured":"Hendrickson, B., Kolda, T.G.: Graph Partitioning Models for Parallel Computing. Parallel Computing\u00a026, 1519\u20131534 (2000)","journal-title":"Parallel Computing"},{"key":"23_CR14","doi-asserted-by":"publisher","first-page":"363","DOI":"10.1145\/1089014.1089020","volume":"31","author":"A.C. Hindmarsh","year":"2005","unstructured":"Hindmarsh, A.C., Brown, P.N., Grant, K.E., Lee, S.L., Serban, R., Shumaker, D.E., Woodward, C.S.: SUNDIALS, Suite of Nonlinear and Differential\/Algebraic Equation Solvers. ACM Transactions on Math. Softw.\u00a031, 363\u2013396 (2005)","journal-title":"ACM Transactions on Math. Softw."},{"key":"23_CR15","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1016\/0377-0427(90)90200-J","volume":"29","author":"P.J. Houwen van der","year":"1990","unstructured":"van der Houwen, P.J., Sommeijer, B.P.: Parallel Iteration of High-order Runge-Kutta Methods With Stepsize Control. J. Comput. Appl. Math.\u00a029, 111\u2013127 (1990)","journal-title":"J. Comput. Appl. Math."},{"issue":"1","key":"23_CR16","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1109\/92.748202","volume":"7","author":"G. Karypis","year":"1999","unstructured":"Karypis, G., Aggarwal, R., Kumar, V., Shekhar, S.: Multilevel Hypergraph Partitioning: Application in VLSI Domain. IEEE Transactions on VLSI Systems\u00a07(1), 69\u201379 (1999)","journal-title":"IEEE Transactions on VLSI Systems"},{"key":"23_CR17","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-322-92106-2","volume-title":"Combinatorial Algorithms for Integrated Circuit Layout","author":"T. Lengauer","year":"1990","unstructured":"Lengauer, T.: Combinatorial Algorithms for Integrated Circuit Layout. John Wiley & Sons, Inc., New York (1990)"},{"key":"23_CR18","doi-asserted-by":"publisher","first-page":"1877","DOI":"10.1016\/S0167-8191(97)00102-6","volume":"23","author":"P.S. Rao","year":"1997","unstructured":"Rao, P.S., Mouney, G.: Data Communication in Parallel Block Predictor-corrector Methods for Solving ODE\u2019s. Parallel Computing\u00a023, 1877\u20131888 (1997)","journal-title":"Parallel Computing"},{"key":"23_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1007\/11494744_4","volume-title":"Applications and Theory of Petri Nets 2005","author":"M. Silva","year":"2005","unstructured":"Silva, M., Recalde, L.: Continuization of timed petri nets: From performance evaluation to observation and control. In: Ciardo, G., Darondeau, P. (eds.) ICATPN 2005. LNCS, vol.\u00a03536, pp. 26\u201347. Springer, Heidelberg (2005)"}],"container-title":["Lecture Notes in Computer Science","Parallel Computing Technologies"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-23178-0_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,4]],"date-time":"2021-12-04T05:30:28Z","timestamp":1638595828000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-23178-0_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642231773","9783642231780"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-23178-0_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}