{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:22:54Z","timestamp":1725664974628},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540631392"},{"type":"electronic","value":"9783540691877"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/3-540-63139-9_44","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T18:08:24Z","timestamp":1330279704000},"page":"328-347","source":"Crossref","is-referenced-by-count":14,"title":["Coupling asynchrony and interrupts: Place Chart Nets"],"prefix":"10.1007","author":[{"given":"Michael","family":"Kishinevsky","sequence":"first","affiliation":[]},{"given":"Jordi","family":"Cortadella","sequence":"additional","affiliation":[]},{"given":"Alex","family":"Kondratyev","sequence":"additional","affiliation":[]},{"given":"Luciano","family":"Lavagno","sequence":"additional","affiliation":[]},{"given":"Alexander","family":"Taubin","sequence":"additional","affiliation":[]},{"given":"Alex","family":"Yakovlev","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,5]]},"reference":[{"key":"19_CR1","unstructured":"A. Arnold. Finite Transition Systems. Prentice Hall, 1994."},{"key":"19_CR2","volume-title":"Technical Report 2316","author":"E. Badouel","year":"1994","unstructured":"E. Badouel, L. Bernardinello, and Ph. Darondeau. Polynomial algorithms for the synthesis of bounded nets. Technical Report 2316, INRIA, RENNES Cedex, France, 1994."},{"key":"19_CR3","doi-asserted-by":"crossref","first-page":"304","DOI":"10.1007\/3-540-55610-9_177","volume":"609","author":"L. Bernardinello","year":"1992","unstructured":"L. Bernardinello and F. De Cindio. A survey of basic net models and modular net classes. In Lecture Notes in Computer Science, volume 609, pages 304\u2013351, 1992.","journal-title":"Lecture Notes in Computer Science"},{"key":"19_CR4","volume-title":"On synchronie structure of transition systems. Technical report","author":"L. Bernardinello","year":"1994","unstructured":"L. Bernardinello, G. De Michelis, K. Petruni, and S. Vigna. On synchronie structure of transition systems. Technical report, Universita di Milano, Milano, 1994."},{"key":"19_CR5","doi-asserted-by":"crossref","unstructured":"G. Berry, P. Couronn\u00e9, and G. Gonthier. The synchronous approach to reactive and realtime systems. IEEE Proceedings, 79, September 1991.","DOI":"10.1109\/5.97297"},{"key":"19_CR6","unstructured":"J. Buck, S. Ha, E.A. Lee, and D.G. Messerschmitt. Ptolemy: a framework for simulating and prototyping heterogeneous systems. Interntional Journal of Computer Simulation, special issue on Simulation Software Development, January 1990."},{"key":"19_CR7","doi-asserted-by":"crossref","unstructured":"J. Cortadella, M. Kishinersky, L. Lavagno, and A. Yakovlev. Synthesizing Petri nets from state-based models. In Proceedings of the International Conference on Computer-Aided Design, pages 164\u2013171, November 1995.","DOI":"10.1109\/ICCAD.1995.480008"},{"key":"19_CR8","unstructured":"J. Cortadella, M. Kishinevsky, L. Lavagno, and A. Yakovlev. Deriving Petri nets from finite transition systems. Technical Report UPC-DAC-1996-19, Dept. of Computer Architecture, Universitat Polit\u00e8cnica de Catalunya, June 1996."},{"key":"19_CR9","doi-asserted-by":"crossref","unstructured":"J. Desel and W. Reisig. The synthesis problem of Petri nets. Technical Report TUM-I9231, Technische Universit\u00e4t M\u00fcnchen, September 1992.","DOI":"10.1007\/3-540-56503-5_15"},{"issue":"3","key":"19_CR10","doi-asserted-by":"crossref","first-page":"517","DOI":"10.1145\/176584.176587","volume":"41","author":"D. Drusinski","year":"1994","unstructured":"D. Drusinski and D. Harel. On the power of bounded concurrency. I. Finite automata. Journal of the Association for Computing Machinery, 41(3):517\u2013539, May 1994.","journal-title":"Journal of the Association for Computing Machinery"},{"key":"19_CR11","doi-asserted-by":"crossref","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, II. Acta Informatica, 27:315\u2013368, 1990.","journal-title":"Acta Informatica"},{"key":"19_CR12","unstructured":"A. Giua. Petri Net techniques for supervisory control of discrete event systems. In Proc. of the First International Workshop on Manufacturing and Petri Nets, pages 1\u201330, Osaka, Japan, June 25, 1996."},{"key":"19_CR13","unstructured":"N. Halbwachs. Synchronous Programming of reactive systems. Kluwer Academic Publishers, 1996."},{"issue":"3","key":"19_CR14","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D. Harel","year":"1987","unstructured":"David Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8(3):231\u2013274, June 1987.","journal-title":"Science of Computer Programming"},{"key":"19_CR15","doi-asserted-by":"crossref","unstructured":"T. Holvoet and P. Verbaeten. Petri Charts: an alternative technique for hierarchical net construction. In IEEE Conference on Sytems, Man and Cybernetics, 1995.","DOI":"10.1109\/ICSMC.1995.538189"},{"key":"19_CR16","unstructured":"J. E. Hopcroft and J. D. Ullman. Introduction to Automata Theory, Languages and Computation. Addison-Wesley, 1979."},{"key":"19_CR17","doi-asserted-by":"crossref","unstructured":"M. Jantzen. Language theory of Petri nets. In Advances in Petri Nets 1986, Lecture Notes in Computer Science, Vol. 254-I, pages 397\u2013412. Springer-Verlag, 1987.","DOI":"10.1007\/978-3-540-47919-2_15"},{"key":"19_CR18","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1016\/S0022-0000(69)80011-5","volume":"3","author":"R. M. Karp","year":"1969","unstructured":"R. M. Karp and R. E. Miller. Parallel program schemata. Journal of Computer and System Sciences, 3:147\u2013195, 1969.","journal-title":"Journal of Computer and System Sciences"},{"key":"19_CR19","volume-title":"Place Chart Nets. Technical Report 96-2-003","author":"M. Kishinevsky","year":"1996","unstructured":"M. Kishinevsky, J. Cortadella, A. Kondratyev, L. Lavagno, A. Taubin, and A. Yakovlev. Place Chart Nets. Technical Report 96-2-003, University of Aizu, Japan, November 1996."},{"key":"19_CR20","volume-title":"Concurrent Hardware: The Theory and Practice of Self-Timed Design","author":"M. Kishinevsky","year":"1993","unstructured":"M. Kishinevsky, A. Kondratyev, A. Taubin, and V. Varshavsky. Concurrent Hardware: The Theory and Practice of Self-Timed Design. John Wiley and Sons, London, 1993."},{"key":"19_CR21","doi-asserted-by":"crossref","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. Theoretical Computer Science, 96:3\u201333, 1992.","journal-title":"Theoretical Computer Science"},{"key":"19_CR22","unstructured":"J. L. Peterson. Petri Net Theory and the modeling of systems. Prentice-Hall, Inc., 1981."},{"key":"19_CR23","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1016\/0304-3975(78)90036-1","volume":"6","author":"C. Rackoff","year":"1978","unstructured":"C. Rackoff. The covering and boundedness problem for vector addition systems. Theoretical Computer Science, 6:223\u2013231, 1978.","journal-title":"Theoretical Computer Science"},{"key":"19_CR24","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1016\/0022-0000(86)90006-1","volume":"32","author":"L. E. Rosier","year":"1986","unstructured":"L. E. Rosier and H. C. Yen. A multiparameter analysis of the boundedness problem for vector addition systems. Journal of Computer and System Sciences, 32:105\u2013135, 1986.","journal-title":"Journal of Computer and System Sciences"},{"key":"19_CR25","unstructured":"R. Valk. On processes of object Petri nets. Technical Report 185\/96, University of Hamburg, Computer Science Department, 1996."}],"container-title":["Lecture Notes in Computer Science","Application and Theory of Petri Nets 1997"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-63139-9_44.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T16:16:03Z","timestamp":1605629763000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-63139-9_44"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540631392","9783540691877"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/3-540-63139-9_44","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}