{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:28:17Z","timestamp":1761611297150},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540089216"},{"type":"electronic","value":"9783540357575"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1978]]},"DOI":"10.1007\/3-540-08921-7_85","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T16:36:56Z","timestamp":1330187816000},"page":"374-384","source":"Crossref","is-referenced-by-count":31,"title":["Synchronized petri nets : A model for the description of non-autonomous sytems"],"prefix":"10.1007","author":[{"given":"M.","family":"Moalla","sequence":"first","affiliation":[]},{"given":"J.","family":"Pulou","sequence":"additional","affiliation":[]},{"given":"J.","family":"Sifakis","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,24]]},"reference":[{"key":"34_CR1","doi-asserted-by":"crossref","unstructured":"P.AZEMA, R.VALETTE, M.DIAZ: \"Petri nets as a common tool for the design verification and hardware simulation\", 13th Design Automation Conference, Palo Alto, June 1976.","DOI":"10.1145\/800146.804803"},{"key":"34_CR2","doi-asserted-by":"crossref","unstructured":"M.MOALLA, G.SAUCIER, J.SIFAKIS, M.ZACHARIADES: \"A Design Tool for the Multilevel Description and Simulation of Systems of Interconnected Modules\", 3rd Annual Symp. on Comp. Architecture, Tampa, Fla., January 1976.","DOI":"10.1145\/800110.803543"},{"key":"34_CR3","volume-title":"Sur la Description, l'Analyse et la Validation des Syst\u00e8mes de Commande Parall\u00e8les","author":"R. Valette","year":"1976","unstructured":"R. VALETTE: \"Sur la Description, l'Analyse et la Validation des Syst\u00e8mes de Commande Parall\u00e8les\", Th\u00e8se d'Etat, Univ. Paul Sabatier, Toulouse, Nov. 1976."},{"key":"34_CR4","unstructured":"C.ANDRE: \"Sur une m\u00e9thode de conception assist\u00e9e par ordinateur des syst\u00e8mes logiques \u00e0 \u00e9volutions simultan\u00e9es\", Th\u00e8se de sp\u00e9cialit\u00e9, Nice, Juin 1975."},{"key":"34_CR5","doi-asserted-by":"publisher","first-page":"543","DOI":"10.1145\/321592.321605","volume":"17","author":"J. L. Baer","year":"1970","unstructured":"J.L. BAER, D.P. BOUET, G. ESTRIN: \"Legality and Other Properties of Graph Models of Computations\", Journal of ACM, Vol. 17, July 1970, pp. 543\u2013554.","journal-title":"Journal of ACM"},{"key":"34_CR6","doi-asserted-by":"crossref","unstructured":"C.W.ROSE: \"LOGOS and the software engineer\", Proc. Fall Joint Comp. Conf., AFIPS Press, 1972, pp. 311\u2013323.","DOI":"10.1145\/1479992.1480034"},{"issue":"8","key":"34_CR7","doi-asserted-by":"crossref","first-page":"718","DOI":"10.1109\/TC.1973.5009150","volume":"C-22","author":"J. D. Noe","year":"1973","unstructured":"J.D. NOE, G.J. NUTT: \"Macro E-Nets for Representation of Parallel Systems\", IEEE Trans. on Computers, C-22, No 8, August 1973, pp. 718\u2013727.","journal-title":"IEEE Trans. on Computers"},{"key":"34_CR8","unstructured":"C.A.PETRI: \"Communication with automata\", Technical Rep. no RADC-TR-65-377, Vol. 1, Rome Air Develop. Center, Griffis Air Force Base, New York, Jan. 1966."},{"key":"34_CR9","unstructured":"A.W.HOLT, F.COMMONER: \"Events and Conditions\", Record of the project MAC Conference on Concurrent Systems and Parallel Computation, ACM, New York, 1970."},{"key":"34_CR10","unstructured":"M.HACK: \"Petri Net Languages\", Project MAC, Computation Structures Group, Memo 124, June 1975."},{"key":"34_CR11","unstructured":"M.HACK: \"Analysis of Production Schemata by Petri Nets\", Master of Science, MIT, 1972."},{"key":"34_CR12","unstructured":"M.HACK: \"Decision Problems for Petri Nets and Vector Addition Systems\", MAC Technical memorandum 59, MIT, March 1975."},{"key":"34_CR13","doi-asserted-by":"crossref","unstructured":"G.BERTHELOT, G.ROUCAIROL: \"Reduction of Petri Nets\", Proc. of the Symp. on MFCS 76, Lec. Notes in Comp. Science, No 45, Springer Verlag ed.","DOI":"10.1007\/3-540-07854-1_175"},{"key":"34_CR14","volume-title":"On the Rationality of Petri Nets Languages","author":"R. VALK","year":"1977","unstructured":"R. VALK, G. VIDAL-NAQUET: \"On the Rationality of Petri Nets Languages\", 3 GI on Theorical Comp. Science, Darmstadt, 1977."},{"key":"34_CR15","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1016\/S0022-0000(77)80040-8","volume":"14","author":"R. J. Lipton","year":"1977","unstructured":"R.J. LIPTON, R.E. MILLER, L. SNYDER: \"Synchronization and Computing Capabilities of Linear Asynchronous structures\", Journal of Comp. and System Science 14,1977, pp. 49\u201372.","journal-title":"Journal of Comp. and System Science"},{"key":"34_CR16","unstructured":"R.E.MILLER: \"Mathematical studies of parallel computation\", Proc. First IBM Symp. Math. Foundation of Comp. Science, IBM Japan, Oct. 1976, pp. 1\u201323."},{"key":"34_CR17","doi-asserted-by":"crossref","unstructured":"T.AGERWALA, M.FLYNN: \"Comments on capabilities, Limitations and Correctness of Petri Nets\", First Annual Symp. on Comp. Architecture, Fla., 1973, pp. 81\u201386.","DOI":"10.1145\/800123.803973"},{"key":"34_CR18","series-title":"Research Report","volume-title":"Limitations of DIJKSTRA's semaphore primitives and PETRI nets","author":"S. R. Kosaraju","year":"1973","unstructured":"S.R. KOSARAJU: \"Limitations of DIJKSTRA's semaphore primitives and PETRI nets\", Research Report 25, John Hopkins University, Baltimore, May 1973."},{"key":"34_CR19","unstructured":"M.MOALLA, J.PULOU, J.SIFAKIS: \"R\u00e9seaux de Petri Synchronis\u00e9s\", Rapport de Recherche ENSIMAG, No 80, Septembre 1977."},{"key":"34_CR20","series-title":"Notes in Computer Science","volume-title":"Systems of open-paths in Petri Nets","author":"E. Best","year":"1975","unstructured":"E. BEST, H.A. SCHMIDT: \"Systems of open-paths in Petri Nets\", Notes in Computer Science 32, Springer Lecture, Berlin, 1975."},{"key":"34_CR21","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, R.E. MILLER: \"Parallel Program Schemata\", Journal of Computer and Systems Sciences, Vol. 3, 1969, pp. 147\u2013195.","journal-title":"Journal of Computer and Systems Sciences"}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 1978"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-08921-7_85.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T20:56:24Z","timestamp":1619556984000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-08921-7_85"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1978]]},"ISBN":["9783540089216","9783540357575"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/3-540-08921-7_85","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1978]]}}}