{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:42:51Z","timestamp":1725489771948},"publisher-location":"Berlin, Heidelberg","reference-count":19,"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_8","type":"book-chapter","created":{"date-parts":[[2007,8,16]],"date-time":"2007-08-16T06:55:33Z","timestamp":1187247333000},"page":"230-249","source":"Crossref","is-referenced-by-count":2,"title":["Behavior and Realization Construction for Petri Nets Based on Free Monoid and Power Set Graphs"],"prefix":"10.1007","author":[{"given":"Julia","family":"Padberg","sequence":"first","affiliation":[]},{"given":"Hartmut","family":"Ehrig","sequence":"additional","affiliation":[]},{"given":"Grzegorz","family":"Rozenberg","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,12,18]]},"reference":[{"key":"8_CR1","series-title":"Lect Notes Comput Sci","volume-title":"Advances in Petri Nets: Unifying Petri Nets","author":"M. A. Bednarczyk","year":"2001","unstructured":"M. A. Bednarczyk and A. M. Borzyszkowski. On Concurrent Realization of Reactive Systems and Their Morphisms. In H. Ehrig, G. Juh\u00e1s, J. Padberg, and G. Rozenberg, editors, Advances in Petri Nets: Unifying Petri Nets, LNCS. Springer, 2001."},{"key":"8_CR2","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"529","DOI":"10.1007\/3-540-65306-6_22","volume-title":"Lectures on Petri Nets: Basic Models","author":"E. Badouel","year":"1998","unstructured":"E. Badouel and Ph. Darondeau. Theory of regions. In W. Reisig and G. Rozenberg, editors, Lectures on Petri Nets: Basic Models, pages 529\u2013586. Springer, LNCS 1491, 1998."},{"key":"8_CR3","doi-asserted-by":"crossref","unstructured":"E. Best, H. Fleischhack, W. Fraczak, R.P. Hopkins, H. Klaudel, and E. Pelz. An M-Net Semantics of B(PN) 2. In J. Desel, editor, Structures in Concurrency Theory, pages 85\u2013100. Springer-Verlag, 1995.","DOI":"10.1007\/978-1-4471-3078-9_6"},{"key":"8_CR4","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1007\/3-540-44988-4_2","volume-title":"21st International Conference on Application and Theory of Petri Nets (ICATPN 2000)","author":"P. Darondeau","year":"2000","unstructured":"P. Darondeau. Region Based Synthesis of P\/T-Nets and Its Potential Applications. In M. Nielsen and D. Simpson, editors, 21st International Conference on Application and Theory of Petri Nets (ICATPN 2000), volume 1825 of Lecture Notes in Computer Science, pages 16\u201323. Springer-Verlag, 2000."},{"key":"8_CR5","series-title":"Lect Notes Comput Sci","volume-title":"Advances in Petri Nets: Unifying Petri Nets","author":"J. Desel","year":"2001","unstructured":"J. Desel, G. Juh\u00e1s, and R. Lorenz. Petri Nets over Partial Algebras. In H. Ehrig, G. Juh\u00e1s, J. Padberg, and G. Rozenberg, editors, Advances in Petri Nets: Unifying Petri Nets, LNCS. Springer, 2001."},{"key":"8_CR6","unstructured":"C. Diamantini, S. Kasangian, L. Pomello, and C. Simone. Elementary Nets and 2-Categories. In E. Best and et al., editors, GMD-Studien Nr. 191; Hildesheimer Informatik-Berichte 6\/91; 3rd Workshop on Concurrency and Compositionality, 1991, Goslar, Germany, pages 83\u201385. Gesellschaft f\u00fcr Mathematik und Datenverarbeitung mbH \u2014 Universit\u00e4t Hildesheim (Germany), Institut f\u00fcr Informatik, 1991."},{"key":"8_CR7","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1007\/s002360050046","volume":"33","author":"J. Desel","year":"1996","unstructured":"J. Desel and W. Reisig. The synthesis problem of Petri nets. Acta Informatica, 33:297\u2013315, 1996.","journal-title":"Acta Informatica"},{"key":"8_CR8","series-title":"Lect Notes Comput Sci","volume-title":"Foundations of Computer Science: Potential-Theory-Cognition","author":"H. Ehrig","year":"1997","unstructured":"H. Ehrig and J. Padberg. A Uniform Approach to Petri Nets. In Ch. Freksa, M. Jantzen, and R. Valk, editors, Foundations of Computer Science: Potential-Theory-Cognition. Springer, LNCS 1337, 1997."},{"key":"8_CR9","unstructured":"H. Ehrig, J. Padberg, and G. Rozenberg. Behaviour and Realization Construction for Petri NetsBased on Free Monoid and Power Set Graphs. Technical report, Technical University Berlin TR 94-15, 1994."},{"key":"8_CR10","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 (Set) 2-Structures, Part I and II. Acta Informatica, 27:315\u2013368, 1990.","journal-title":"Acta Informatica"},{"key":"8_CR11","doi-asserted-by":"crossref","unstructured":"J.A. Goguem. Realization is universal. Mathematical systems Theory, 6, 1973.","DOI":"10.1007\/BF01843493"},{"key":"8_CR12","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"324","DOI":"10.1007\/3-540-48745-X_20","volume-title":"Proc. of 20th Conference on Theory and Application of Petri nets","author":"G. Juh\u00e1s","year":"1999","unstructured":"Gabriel Juh\u00e1s. Reasoning about algebraic generalisation of Petri nets. In Proc. of 20th Conference on Theory and Application of Petri nets, pages 324\u2013343. Springer, LNCS 1639, 1999."},{"issue":"2","key":"8_CR13","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1016\/0890-5401(90)90013-8","volume":"88","author":"J. Meseguer","year":"1990","unstructured":"J. Meseguer and U. Montanari. Petri Nets are Monoids. Information and Computation, 88(2):105\u2013155, 1990.","journal-title":"Information and Computation"},{"key":"8_CR14","series-title":"Lect Notes Comput Sci","volume-title":"Proceedings of the Dagstuhl Seminar 9301 on Graph Transformations in Computer Science","author":"U. Montanari","year":"1994","unstructured":"U. Montanari and F. Rossi. Contextual occurrence nets and concurrent constraint programming. In H.-J. Schneider and H. Ehrig, editors, Proceedings of the Dagstuhl Seminar 9301 on Graph Transformations in Computer Science, volume 776 of Lecture Notes in Computer Science. Springer Verlag, 1994."},{"key":"8_CR15","doi-asserted-by":"crossref","unstructured":"U. Montanari and F. Rossi. Contextual nets. Acta Informatica, 32, 1995. Also as Technical Report TR 4-93, Department of Computer Science, University of Pisa, February 1993.","DOI":"10.1007\/s002360050026"},{"key":"8_CR16","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. TCS, 96:3\u201333, 1992.","journal-title":"TCS"},{"key":"8_CR17","unstructured":"J. Padberg. Abstract Petri Nets: A Uniform Approach and Rule-Based Refinement. PhD thesis, Technical University Berlin, 1996. Shaker Verlag."},{"key":"8_CR18","series-title":"Lect Notes Comput Sci","volume-title":"Advances in Petri Nets: Unifying Petri Nets","author":"J. Padberg","year":"2001","unstructured":"J. Padberg and H. Ehrig. Introduction to Parametrized Net Classes. In H. Ehrig, G. Juh\u00e1s, J. Padberg, and G. Rozenberg, editors, Advances in Petri Nets: Unifying Petri Nets, LNCS. Springer, 2001."},{"key":"8_CR19","first-page":"60","volume-title":"Advances in Petri nets 1986","author":"G. Rozenberg","year":"1987","unstructured":"G. Rozenberg. Behaviour of elementary net systems. In W. Brauer, W. Reisig, and G. Rozenberg, editors, Advances in Petri nets 1986, pages 60\u201394. Springer Verlag Berlin, 1987."}],"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_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,2]],"date-time":"2019-05-02T00:24:41Z","timestamp":1556756681000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45541-8_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540430674","9783540455417"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-45541-8_8","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}