{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,31]],"date-time":"2026-01-31T04:39:01Z","timestamp":1769834341418,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642024238","type":"print"},{"value":"9783642024245","type":"electronic"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"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":[[2009]]},"DOI":"10.1007\/978-3-642-02424-5_10","type":"book-chapter","created":{"date-parts":[[2009,6,17]],"date-time":"2009-06-17T14:40:41Z","timestamp":1245249641000},"page":"143-162","source":"Crossref","is-referenced-by-count":5,"title":["P-Semiflow Computation with Decision Diagrams"],"prefix":"10.1007","author":[{"given":"Gianfranco","family":"Ciardo","sequence":"first","affiliation":[]},{"given":"Galen","family":"Mecham","sequence":"additional","affiliation":[]},{"given":"Emmanuel","family":"Paviot-Adet","sequence":"additional","affiliation":[]},{"given":"Min","family":"Wan","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"10_CR1","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1016\/0166-5316(95)00008-L","volume":"24","author":"G. Chiola","year":"1995","unstructured":"Chiola, G., Franceschinis, G., Gaeta, R., Ribaudo, M.: GreatSPN 1.7: Graphical Editor and Analyzer for Timed and Stochastic Petri Nets. Performance Evaluation\u00a024, 47\u201368 (1995)","journal-title":"Performance Evaluation"},{"key":"10_CR2","doi-asserted-by":"publisher","first-page":"578","DOI":"10.1016\/j.peva.2005.06.001","volume":"63","author":"G. Ciardo","year":"2006","unstructured":"Ciardo, G., Jones, R.L., Miner, A.S., Siminiceanu, R.: Logical and stochastic modeling with SMART. Performance Evaluation\u00a063, 578\u2013608 (2006)","journal-title":"Performance Evaluation"},{"key":"10_CR3","unstructured":"Colom, J.M., Silva, M.: Convex geometry and semiflows in P\/T nets: A comparative study of algorithms for the computation of minimal p-semiflows. In: Proc. International Conference on Applications and Theory of Petri nets, pp. 74\u201395 (1989)"},{"key":"10_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1007\/3-540-53863-1_23","volume-title":"Advances in Petri Nets 1990","author":"J. Colom","year":"1991","unstructured":"Colom, J., Silva, M.: Improving the linearly based characterization of P\/T nets. In: Rozenberg, G. (ed.) APN 1990. LNCS, vol.\u00a0483, pp. 113\u2013145. Springer, Heidelberg (1991)"},{"key":"10_CR5","first-page":"1","volume":"124","author":"J. Farkas","year":"1902","unstructured":"Farkas, J.: Theorie der einfachen ungleichungen. Journal f\u00fcr die reine und andgewandte Mathematik\u00a0124, 1\u201327 (1902)","journal-title":"Journal f\u00fcr die reine und andgewandte Mathematik"},{"key":"10_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1007\/978-3-540-47919-2_9","volume-title":"Advances in Petri Nets 1986. Proceedings of an Advanced Course, Bad Honnef, 8.-19. September 1986","author":"H. Genrich","year":"1987","unstructured":"Genrich, H.: Predicate\/transition nets. In: Brauer, W., Reisig, W., Rozenberg, G. (eds.) APN 1986. LNCS, vol.\u00a0254, pp. 207\u2013247. Springer, Heidelberg (1987)"},{"key":"10_CR7","doi-asserted-by":"crossref","unstructured":"Govindarajan, R., Suciu, F., Zuberek, W.M.: Timed Petri net models of multithreaded multiprocessor architectures. In: Proc. Petri Nets and Performance Models, pp. 153\u2013162 (1997)","DOI":"10.1109\/PNPM.1997.595546"},{"issue":"5","key":"10_CR8","doi-asserted-by":"publisher","first-page":"607","DOI":"10.1007\/BF01211911","volume":"8","author":"S. Graf","year":"1996","unstructured":"Graf, S., Steffen, B., L\u00fcttgen, G.: Compositional minimisation of finite state systems using interface specifications. Journal of Formal Aspects of Computing\u00a08(5), 607\u2013616 (1996)","journal-title":"Journal of Formal Aspects of Computing"},{"key":"10_CR9","first-page":"220","volume-title":"Proc. International Conference on Computer Design","author":"S. Kimura","year":"1990","unstructured":"Kimura, S., Clarke, E.M.: A parallel algorithm for constructing binary decision diagrams. In: Proc. International Conference on Computer Design, pp. 220\u2013223. IEEE Comp. Soc. Press, Los Alamitos (1990)"},{"key":"10_CR10","doi-asserted-by":"crossref","first-page":"156","DOI":"10.1007\/s100090100038","volume":"3","author":"S.-I. Minato","year":"2001","unstructured":"Minato, S.-I.: Zero-suppressed BDDs and their applications. Software Tools for Technology Transfer\u00a03, 156\u2013170 (2001)","journal-title":"Software Tools for Technology Transfer"},{"key":"10_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"416","DOI":"10.1007\/3-540-58152-9_23","volume-title":"Application and Theory of Petri Nets 1994","author":"E. Pastor","year":"1994","unstructured":"Pastor, E., Roig, O., Cortadella, J., Badia, R.M.: Petri net analysis using boolean manipulation. In: Valette, R. (ed.) ICATPN 1994. LNCS, vol.\u00a0815, pp. 416\u2013435. Springer, Heidelberg (1994)"},{"key":"10_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"582","DOI":"10.1007\/978-3-540-95891-8_52","volume-title":"SOFSEM 2009","author":"M. Wan","year":"2009","unstructured":"Wan, M., Ciardo, G.: Symbolic state-space generation of asynchronous systems using extensible decision diagrams. In: Nielsen, M., et al. (eds.) SOFSEM 2009. LNCS, vol.\u00a05404, pp. 582\u2013594. Springer, Heidelberg (2009)"}],"container-title":["Lecture Notes in Computer Science","Applications and Theory of Petri Nets"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-02424-5_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,5,19]],"date-time":"2020-05-19T20:29:11Z","timestamp":1589920151000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-02424-5_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642024238","9783642024245"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-02424-5_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009]]}}}