{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T20:35:30Z","timestamp":1761597330130},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540538639"},{"type":"electronic","value":"9783540463696"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-53863-1_23","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T22:14:27Z","timestamp":1330208067000},"page":"113-145","source":"Crossref","is-referenced-by-count":56,"title":["Improving the linearly based characterization of P\/T nets"],"prefix":"10.1007","author":[{"given":"J. M.","family":"Colom","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Silva","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"key":"5_CR1","first-page":"359","volume-title":"Petri Nets: Central Models and their Properties. Advances in Petri Nets 1986, Proceedings of an Advanced Course","author":"G. Berthelot","year":"1986","unstructured":"BERTHELOT G.: Transformations and Decompositions of Nets. Petri Nets: Central Models and their Properties. Advances in Petri Nets 1986, Proceedings of an Advanced Course, Bad Honnef, September 1986. LNCS 254, Springer Verlag, Berlin, pp.359\u2013376."},{"key":"5_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":"5_CR3","unstructured":"COLOM J.M.: An\u00e1lisis estructural de Redes de Petri, Programaci\u00f3n Lineal y Geometr\u00eda Convexa. Ph. D. Thesis, Depto. Ingenier\u00eda El\u00e9ctrica e Inform\u00e1tica, Universidad de Zaragoza, June."},{"key":"5_CR4","unstructured":"ESPARZA J., SILVA M.: A Polynomial-time Algorithm to Decide Liveness of Bounded Free Choice Nets, Internal Report, Dept. de Ingenier\u00eda El\u00e9ctrica e Inform\u00e1tica, Universidad de Zaragoza."},{"key":"5_CR5","unstructured":"HACK M.H.T.: Analysis of Production Schemata by Petri Nets. M.S. thesis, TR-94, Project MAC, MIT, Cambridge, Mass."},{"key":"5_CR6","unstructured":"JOHNEN C.: SUJET: Analyse Algorithmique des Reseaux de Petri: Verification d'Espace d'Accueil, Systemes de Reecriture. These Doctoral, Universit\u00e9 de Paris-Sud, Decembre 1987."},{"key":"5_CR7","unstructured":"LUENBERGER D.G.: Introduction to Linear and Non Linear Programming. Addison-Wesley Publishing Company, Reading, Massachssets."},{"key":"5_CR8","unstructured":"MARTINEZ J.: Contribuci\u00f3n al An\u00e1lisis y Modelado de Sistemas Concurrentes mediante Redes de Petri. Tesis Doctoral. Universidad de Zaragoza, Octubre 1984."},{"key":"5_CR9","unstructured":"SAKAROVITCH M.: Optimisation Combinatoire. M\u00e9thodes Math\u00e9matiques et Algorithmiques. Hermann, Paris."},{"key":"5_CR10","unstructured":"SILVA M.: Simplification des Reseaux de Petri par Elimination des Places Implicites. Digital Processes 6, pp. 245\u2013256."},{"key":"5_CR11","unstructured":"SILVA M.: Las Redes de Petri en la Autom\u00e1tica y la Inform\u00e1tica. Editorial AC, Madrid."},{"key":"5_CR12","unstructured":"SILVA M., COLOM J.M.: On the Computation of Structural Synchronic Invariants in P\/T nets, Procs. of the Eighth European Workshop on Application and Theory of Petri Nets, Zaragoza, June 1987, pp. 237\u2013258. Also in Advances in Petri Nets 88, LNCS 340, Springer Verlag, 1989, pp. 387\u2013417."}],"container-title":["Lecture Notes in Computer Science","Advances in Petri Nets 1990"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-53863-1_23.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:16:34Z","timestamp":1619572594000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-53863-1_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540538639","9783540463696"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-53863-1_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}