{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T15:29:16Z","timestamp":1725722956838},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642372902"},{"type":"electronic","value":"9783642372919"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-37291-9_27","type":"book-chapter","created":{"date-parts":[[2013,4,15]],"date-time":"2013-04-15T10:32:16Z","timestamp":1366021936000},"page":"250-257","source":"Crossref","is-referenced-by-count":14,"title":["Application of an Exact Transversal Hypergraph in Selection of SM-Components"],"prefix":"10.1007","author":[{"given":"\u0141ukasz","family":"Stefanowicz","sequence":"first","affiliation":[]},{"given":"Marian","family":"Adamski","sequence":"additional","affiliation":[]},{"given":"Remigiusz","family":"Wisniewski","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"27_CR1","unstructured":"Wisniewska, M.: Application of hypergraphs in decomposition of discrete systems. Lecture Notes in Control and Computer Science, vol. 23. Univ. of Ziel, Gora Press (2012)"},{"issue":"4","key":"27_CR2","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T. Murata","year":"1989","unstructured":"Murata, T.: Petri Nets: Properties, Analysis and Applications. Proceedings of IEEE\u00a077(4), 541\u2013580 (1989)","journal-title":"Proceedings of IEEE"},{"key":"27_CR3","first-page":"134","volume":"9","author":"A. Barkalov","year":"2010","unstructured":"Barkalov, A., Titarenko, L., Hebda, O.: Synthesis of Moore finite state machine with nonstandard presentation of state codes. Electrical Review\u00a09, 134\u2013136 (2010)","journal-title":"Electrical Review"},{"key":"27_CR4","volume-title":"Dynamic analysis of Petri net-based discrete systems","author":"A. Karatkevich","year":"2011","unstructured":"Karatkevich, A.: Dynamic analysis of Petri net-based discrete systems. Springer, Berlin (2011)"},{"key":"27_CR5","first-page":"650","volume":"07","author":"R. Wisniewski","year":"2012","unstructured":"Wisniewski, R., Adamski, M., Wisniewska, M.: A polynomial algorithm to compute the concurrency hypergraph in Petri nets. Measurement Automation and Monitoring\u00a007, 650\u2013652 (2012) (in Polish)","journal-title":"Measurement Automation and Monitoring"},{"key":"27_CR6","unstructured":"Karatkevich, A.: SM-Components problem reductions of Petri nets. Telecommunication Review\u00a06 (2008) (in Polish)"},{"key":"27_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1007\/3-540-55676-1_17","volume-title":"Application and Theory of Petri Nets 1992","author":"A.V. Kovalyov","year":"1992","unstructured":"Kovalyov, A.V.: Concurrency Relations and the Safety Problem for Petri Nets. In: Jensen, K. (ed.) ICATPN 1992. LNCS, vol.\u00a0616, pp. 299\u2013309. Springer, Heidelberg (1992)"},{"key":"27_CR8","first-page":"141","volume":"8","author":"A. Karatkevich","year":"2012","unstructured":"Karatkevich, A., Wisniewski, R.: Computation of Petri nets covering by SM-components based on the graph theory. Electrical Review\u00a08, 141\u2013144 (2012) (in Polish)","journal-title":"Electrical Review"},{"key":"27_CR9","volume-title":"Graphs and Hypergraphs","author":"C. Berge","year":"1989","unstructured":"Berge, C.: Graphs and Hypergraphs. American Elsevier Pub. Co., New York (1989)"},{"key":"27_CR10","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1006\/jsco.1994.1013","volume":"17","author":"T. Eiter","year":"1994","unstructured":"Eiter, T.: Exact Transversal Hypergraphs and Application to Boolean \u03bc-Functions. Journal of Symbolic Computations\u00a017, 215\u2013225 (1994)","journal-title":"Journal of Symbolic Computations"},{"key":"27_CR11","unstructured":"Rudell, R.L.: Logic Synthesis for VLSI Design. PhD Thesis, EECS Department, University of California, Berkeley (1989)"},{"key":"27_CR12","unstructured":"Kubale, M., Obszarski, P., Piwakowski, K.: Hypergraphs coloring. Technical Reports of the Silesian Technical University (2006) (in Polish)"},{"key":"27_CR13","unstructured":"Knuth, D.: Dancing Links. In: Millennial Perspectives in Computer Science, pp. 187\u2013214. Palgrave (2000)"},{"key":"27_CR14","unstructured":"Blanchard, M.: Comprendre, Ma\u00eetriser Et Appliquer Le Grafcet Cepadues, Tolouse (1979) (in French)"}],"container-title":["IFIP Advances in Information and Communication Technology","Technological Innovation for the Internet of Things"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-37291-9_27","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,12]],"date-time":"2019-05-12T05:03:04Z","timestamp":1557637384000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-37291-9_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642372902","9783642372919"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-37291-9_27","relation":{},"ISSN":["1868-4238","1868-422X"],"issn-type":[{"type":"print","value":"1868-4238"},{"type":"electronic","value":"1868-422X"}],"subject":[],"published":{"date-parts":[[2013]]}}}