{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T03:33:14Z","timestamp":1725593594578},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642222023"},{"type":"electronic","value":"9783642222030"}],"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-22203-0_41","type":"book-chapter","created":{"date-parts":[[2011,6,27]],"date-time":"2011-06-27T20:26:28Z","timestamp":1309206388000},"page":"463-477","source":"Crossref","is-referenced-by-count":1,"title":["A Concurrent Coloured Petri Nets Model for Solving Binary Search Problem on a Multicore Architecture"],"prefix":"10.1007","author":[{"given":"Alaa M.","family":"Al-Obaidi","sequence":"first","affiliation":[]},{"given":"Sai Peck","family":"Lee","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"41_CR1","volume-title":"Introduction to Algorithms","author":"T. Cormen","year":"2000","unstructured":"Cormen, T., Leiserson, C., Rivest, R.: Introduction to Algorithms. MIT Press, Cambridge (2000)"},{"key":"41_CR2","volume-title":"Introduction to the Design and Analysis of Algorithms","author":"A. Levitin","year":"2002","unstructured":"Levitin, A.: Introduction to the Design and Analysis of Algorithms. Addison Wesley, Reading (2002)"},{"key":"41_CR3","volume-title":"Algorithms","author":"S. Dasgupta","year":"2006","unstructured":"Dasgupta, S., Papadimitriou, C., Vazirani, U.: Algorithms. McGraw-Hill, New York (2006)"},{"key":"41_CR4","volume-title":"Beginning Algorithms","author":"S. Harris","year":"2006","unstructured":"Harris, S., Ross, J.: Beginning Algorithms. Wiley, Chichester (2006)"},{"key":"41_CR5","doi-asserted-by":"crossref","unstructured":"Kavi, K., Moshtaghi, A., Chen, D.: Modeling Multithreaded Applications Using Petri Nets. International Journal of Parallel Programming\u00a030(5) (October 2002)","DOI":"10.1023\/A:1019917329895"},{"key":"41_CR6","doi-asserted-by":"publisher","DOI":"10.1007\/b95112","volume-title":"Coloured Petri Nets, Modelling and Validation of Concurrent Systems","author":"K. Jensen","year":"2009","unstructured":"Jensen, K., Kristensen, L.: Coloured Petri Nets, Modelling and Validation of Concurrent Systems. Springer, Heidelberg (2009)"},{"key":"41_CR7","first-page":"237","volume-title":"An Introduction to the Practical Use of Coloured Petri Nets","author":"K. Jensen","year":"1998","unstructured":"Jensen, K.: An Introduction to the Practical Use of Coloured Petri Nets, vol.\u00a01492, pp. 237\u2013292. Springer, Heidelberg (1998)"},{"issue":"3","key":"41_CR8","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1023\/B:LISP.0000029445.29210.ca","volume":"17","author":"L. Kristensen","year":"2004","unstructured":"Kristensen, L., Christensen, S.: Implementing Coloured Petri Nets Using a Functional Programming Language. Higher-Order and Symbolic Computation\u00a017(3), 207\u2013243 (2004)","journal-title":"Higher-Order and Symbolic Computation"},{"key":"41_CR9","unstructured":"Mulyar, N., Aalst, W.: Patterns in Colored Petri Nets. Beta Working Paper Series (2005)"},{"key":"41_CR10","unstructured":"CPN-Tool Homepage, http:\/\/cpntools.org\/"},{"issue":"5","key":"41_CR11","doi-asserted-by":"publisher","first-page":"720","DOI":"10.1145\/324133.324234","volume":"46","author":"R. Blumofe","year":"1999","unstructured":"Blumofe, R., Leiserson, C.: Scheduling Multithreaded Computations by Work Stealing. Journal of the ACM\u00a046(5), 720\u2013748 (1999)","journal-title":"Journal of the ACM"},{"key":"41_CR12","doi-asserted-by":"crossref","unstructured":"Arora, N., Blumofe, R., Plaxton, C.: Thread Scheduling for Multiprogrammed Multiprocessors. In: The Tenth Annual ACM Symposium on Parallel Algorithms and Architectures (SPAA), Puerto Vallarta, Mexico, pp. 119\u2013129 (1998)","DOI":"10.1145\/277651.277678"},{"issue":"3","key":"41_CR13","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1007\/s00446-005-0144-5","volume":"18","author":"D. Hendler","year":"2005","unstructured":"Hendler, D., Lev, Y., Moir, M., Shavit, N.: A Dynamic-Sized Non-blocking Work Stealing Deque. Journal of Distributed Computing\u00a018(3), 189\u2013207 (2005)","journal-title":"Journal of Distributed Computing"},{"key":"41_CR14","doi-asserted-by":"crossref","unstructured":"Hendler, D., Shavit, N.: Non-blocking Steal-Half Work Queues. In: The Twenty-First Annual Symposium on Principles of Distributed Computing, Monterey, California, pp. 280\u2013289 (2002)","DOI":"10.1145\/571825.571876"},{"key":"41_CR15","doi-asserted-by":"crossref","unstructured":"Acar, U., Blelloch, A., Blumofe, R.: The Data Locality of Work Stealing. In: The Twelfth Annual ACM Symposium on Parallel Algorithms and Architectures, Bar Harbor, Maine, United States, pp. 1\u201312 (2000)","DOI":"10.1145\/341800.341801"},{"key":"41_CR16","doi-asserted-by":"crossref","unstructured":"Chase, D., Lev, Y.: Dynamic circular work-stealing deque. In: The Seventeenth Annual ACM Symposium on Parallelism in Algorithms and Architectures, Las Vegas, Nevada, USA, pp. 21\u201328 (2005)","DOI":"10.1145\/1073970.1073974"},{"key":"41_CR17","doi-asserted-by":"crossref","unstructured":"Peterson, J.: Petri Nets. ACM\u00a09(3) (1977)","DOI":"10.1145\/356698.356702"},{"key":"41_CR18","doi-asserted-by":"crossref","unstructured":"Murata, T.: Petri Nets: Properties, Analysis and Applications. IEEE\u00a077(4), New Yark (1989)","DOI":"10.1109\/5.24143"},{"key":"41_CR19","volume-title":"The Standard ML Basis Library","author":"E. Gansner","year":"2002","unstructured":"Gansner, E., Reppy, J.: The Standard ML Basis Library. University of Cambridge, New Yark (2002)"},{"key":"41_CR20","volume-title":"Elements of ML Programming","author":"J. Ullman","year":"1998","unstructured":"Ullman, J.: Elements of ML Programming. Prentice-Hall, Englewood Cliffs (1998)"}],"container-title":["Communications in Computer and Information Science","Software Engineering and Computer Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-22203-0_41","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,12]],"date-time":"2019-06-12T08:19:59Z","timestamp":1560327599000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-22203-0_41"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642222023","9783642222030"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-22203-0_41","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2011]]}}}