{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T14:27:44Z","timestamp":1761488864637},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540505808"},{"type":"electronic","value":"9783540460596"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1988]]},"DOI":"10.1007\/3-540-50580-6_39","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T20:28:06Z","timestamp":1330201686000},"page":"386-417","source":"Crossref","is-referenced-by-count":26,"title":["On the computation of structural synchronic invariants in P\/T nets"],"prefix":"10.1007","author":[{"given":"M.","family":"Silva","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J. M.","family":"Colom","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"19_CR1","doi-asserted-by":"crossref","unstructured":"BERTHELOT G., ROUCAIROL G., VALK R.: Reductions of nets and parallel programs. In Net theory and Applications (Brauer W. ed.). LNCS 84, Springer-Verlag, pp 275\u2013290.","DOI":"10.1007\/3-540-10001-6_28"},{"key":"19_CR2","first-page":"1","volume":"20","author":"E. Best","year":"1985","unstructured":"BEST E., FERNANDEZ C.: Notations and Terminology on Petri Net Theory. Newsletter 20, May 1985, pp. 1\u201315.","journal-title":"Newsletter"},{"key":"19_CR3","unstructured":"CHVATAL V.: Linear Programming. W.H. Freeman an Company, New York."},{"key":"19_CR4","unstructured":"DANTZIG G.B.: Linear Programming and extensions. Princeton University Press."},{"key":"19_CR5","doi-asserted-by":"crossref","unstructured":"GENRICH H.J., LAUTENBACH K.: Synchronisationsgraphen. Acta Informatica vol.2, pp. 143\u2013161.","DOI":"10.1007\/BF00264027"},{"key":"19_CR6","doi-asserted-by":"crossref","unstructured":"GOLTZ U.: Synchronic Distance. In Petri Nets: Central Models and Their Properties. Advances in Petri Nets 1986, Proc. of an Advanced Course, Bad Honnef, September 1986. (G. Goos and J. Hartmanis ed.). LNCS 254, Springer Verlag, pp 338\u2013358.","DOI":"10.1007\/978-3-540-47919-2_12"},{"key":"19_CR7","doi-asserted-by":"crossref","first-page":"373","DOI":"10.1007\/BF02579150","volume":"4","author":"N. Karmarkar","year":"1984","unstructured":"KARMARKAR N.: A new polynomial time algorithm for linear programming. Combinatorica, 4 (1984), pp 373\u2013395.","journal-title":"Combinatorica"},{"key":"19_CR8","unstructured":"LAUTENBACH K.: Liveness in Petri Nets, Internal report ISF 75-02.1, GMD, St. Augustin."},{"key":"19_CR9","unstructured":"MARTINEZ J., SILVA M.: A simple and fast algorithm to obtain all invariants of a generalized Petri net. Applications and Theory of Petri Nets (C. Girault, W. Reisig, eds.). Informatik Fachberichte 52, Springer-Verlag."},{"key":"19_CR10","doi-asserted-by":"crossref","unstructured":"MEMMI G., ROUCAIROL G.: Linear Algebra in Net Theory. In Net theory and Applications (Brauer W. ed.). LNCS 84, Springer-Verlag, pp 213\u2013223.","DOI":"10.1007\/3-540-10001-6_24"},{"key":"19_CR11","unstructured":"PETRI C.A.: Interpretations of Net Theory. ISF \u2014 Report 75-07, GMD, St Augustin."},{"key":"19_CR12","unstructured":"SAKAROVITCH M.: Optimisation Combinatoire. M\u00e9thodes Math\u00e9matiques et Algorithmiques. Hermann, Paris."},{"key":"19_CR13","unstructured":"SILVA M.: Simpification des reseaux de Petri par elimination des places implicites. Digital Processes, vol. no 6, pp 245\u2013256."},{"key":"19_CR14","unstructured":"SILVA M.: Petri nets in automation and computer engineering. Ed. AC, Madrid (in Spanish). (English translation of a second edition to be published in 1988)."},{"key":"19_CR15","doi-asserted-by":"crossref","unstructured":"SILVA M.: Towards a Synchrony Theory for P\/T Nets. Concurrency and nets, (K. Voss, H. Genrich, G. Rozenberg, eds.). Springer Verlag, Berlin. pp 435\u2013460.","DOI":"10.1007\/978-3-642-72822-8_28"},{"key":"19_CR16","doi-asserted-by":"crossref","unstructured":"SUZUKI I., KASAMI T.: Three measures for synchronic dependence in Petri nets. Acta Informatica 19 (pp. 325\u2013338).","DOI":"10.1007\/BF00290730"}],"container-title":["Lecture Notes in Computer Science","Advances in Petri Nets 1988"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-50580-6_39.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:18:33Z","timestamp":1605647913000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-50580-6_39"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988]]},"ISBN":["9783540505808","9783540460596"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-50580-6_39","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1988]]}}}