{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:01:42Z","timestamp":1725663702644},"publisher-location":"Berlin, Heidelberg","reference-count":34,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540524946"},{"type":"electronic","value":"9783540469988"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1990]]},"DOI":"10.1007\/3-540-52494-0_40","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T16:33:03Z","timestamp":1330187583000},"page":"433-452","source":"Crossref","is-referenced-by-count":5,"title":["A comparative study of different techniques for semi-flows computation in place\/transition nets"],"prefix":"10.1007","author":[{"given":"Nicolas","family":"Treves","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,7]]},"reference":[{"key":"18_CR1","unstructured":"H. Ala\u00efwan, J.M. Toudic: \"Recherche des semi-flots, des verrous et des trappes dans les r\u00e9seaux de Petri.\" TSI vol. 4 no 1, num\u00e9ro special R\u00e9seaux de Petri, G. Memmi (ed.) pp. 103\u2013112 (1985)."},{"key":"18_CR2","unstructured":"G.W. BRAMS: \"R\u00e9seaux de Petri: th\u00e9orie et pratique.\" Masson Ed., Paris (1983)."},{"key":"18_CR3","first-page":"1","volume":"124","author":"J. Farkas","year":"1902","unstructured":"J. Farkas: \"Theorie der einfachen Ungleichungen.\" In: Journal f\u00fcr die reine und andgewandte Mathematik 124, pp. 1\u201327 (1902).","journal-title":"Journal f\u00fcr die reine und andgewandte Mathematik"},{"key":"18_CR4","unstructured":"J.C. Fiorot, M. Gondran: \"R\u00e9solution des syst\u00e8mes lin\u00e9aires en nombres entiers.\" Bulletin de la direction des Etudes et Recherches EDF, s\u00e9rie C no 2 pp. 65\u2013116"},{"key":"18_CR5","unstructured":"P. Fraisse, C. Johnen, N. Tr\u00e8ves: \"SERPE: An Extendable Structure for Analysis of Petri Nets.\" Proc. of the Advanced Courses on Petri Nets, Bad Honnef, RFA. Rapport interne LRI no 302, Orsay (1986)."},{"key":"18_CR6","unstructured":"H.J. Genrich, K. Lautenbach: \"System modelling with high-level Petri Nets\" TCS 13, pp. 109\u2013136, North-Holland Pub. co. (1981)."},{"key":"18_CR7","doi-asserted-by":"crossref","unstructured":"H.J. Genrich, K. Lautenbach: \"S-Invariance in Predicate\/Transition Nets.\" In: Applications and Theory of Petri Nets, Pagnoni & Rozenberg ed., Springer-Verlag (1983).","DOI":"10.1007\/978-3-642-69028-0_8"},{"key":"18_CR8","unstructured":"P. Graubman:: \"Composition of place transitions nets using additional places and the calculation of their invariants.\" Internal Report of the Esprit project no 283 FOR-ME-TOO (1985)"},{"key":"18_CR9","unstructured":"S. Haddad, C. Girault: \"Algebraic structure of flows of a regular coloured net.\" Proc. of the 7th European Workshop on Applications and Theory of Petri Nets, Oxford, England (1986)."},{"key":"18_CR10","unstructured":"S. Haddad, JM. Couvreur: \"Toward a general and powerful computation of flows in parametrized coloured Petri nets.\" Proc. IXth European Workshop on Application and Theory of Petri nets, Venice (1988)."},{"key":"18_CR11","doi-asserted-by":"crossref","unstructured":"T. Hildebrand: \"Design and programming of interfaces for monetic applications using Petri nets.\" In: Advances in Petri nets 84, LNCS vol. 188, G. Rozenberg ed., Springer-Verlag (1985).","DOI":"10.1007\/3-540-15204-0_12"},{"key":"18_CR12","doi-asserted-by":"crossref","first-page":"317","DOI":"10.1016\/0304-3975(81)90049-9","volume":"14","author":"K. Jensen","year":"1981","unstructured":"K. Jensen: \"Coloured Petri Nets and the Invariants Method\". TCS 14, pp 317\u2013336, North-Holland Publishing Company (1981).","journal-title":"TCS"},{"key":"18_CR13","first-page":"327","volume":"118","author":"K. Jensen","year":"1981","unstructured":"K. Jensen: \"How to find invariants for Coloured Petri Nets.\" Mathematical Foundations of Computer Science, Vol. 118 pp. 327\u2013338, Gruska and Chytil ed., Springer Verlag (1981).","journal-title":"Mathematical Foundations of Computer Science"},{"key":"18_CR14","doi-asserted-by":"crossref","unstructured":"D.B. Johnson: \"Finding all the elementary circuits of a directed graph.\" SIAM J. Comput, vol 4 no 1 (1975).","DOI":"10.1137\/0204007"},{"key":"18_CR15","unstructured":"F. Kr\u00fcckeberg, M. Jaxy: \"Mathematical methods for calculating invariants in Petri Nets.\" In APN 1987, pp. 106\u2013131, LNCS no 266, Springer-Verlag (1987)."},{"key":"18_CR16","unstructured":"R. Kujansuu, M. Lindqvist: \"Efficient algorithms for computing S-Invariants for Predicate\/Transition Nets.\" Proc. of the 5th European Workshop on Applications and Theory of Petri Nets, Aarhus, Denmark (1984)."},{"key":"18_CR17","unstructured":"JL. Lambert: \"Consequences of the decidability of the reachability problem for Petri nets.\" Proc. 8th European Workshop on Application and Theory of Petri nets, pp. 451\u2013470, Zaragoza (1987)."},{"key":"18_CR18","unstructured":"K. Lautenbach, H. Schmid: \"Use of Petri nets fo proving correctness of concurrent process systems.\" Information Processing 1974, pp.187\u2013191, North-Holland Pu. Co. (1974)."},{"key":"18_CR19","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1007\/978-3-642-68353-4_47","volume":"52","author":"J. Martinez","year":"1982","unstructured":"J. Martinez, M. Silva: \"A simple and fast algorithm to obtain all invariants of a generalized Petri Net.\" In: C. Girault and W. Reisig ed., Informatik-Fachberichte 52, Springer-Verlag pp. 301\u2013310 (1982).","journal-title":"Informatik-Fachberichte"},{"key":"18_CR20","volume-title":"Net Theory and Applications","author":"G. Memmi","year":"1980","unstructured":"G. Memmi, G. Roucairol: \"Linear algebra in Net Theory.\" In W. Brauer (ed.): Net Theory and Applications. LNCS 84, Springer-Verlag, Berlin (1980)."},{"key":"18_CR21","volume-title":"M\u00e9thodes d'analyse des R\u00e9seaux de Petri, R\u00e9seaux \u00e0 Files, et applications aux syt\u00e8mes Temps-R\u00e9el","author":"G. Memmi","year":"1983","unstructured":"G. Memmi: \"M\u00e9thodes d'analyse des R\u00e9seaux de Petri, R\u00e9seaux \u00e0 Files, et applications aux syt\u00e8mes Temps-R\u00e9el.\" Th\u00e8se de Doctorat d'Etat, Universit\u00e9 Pierre et Marie Curie, Paris (1983)."},{"key":"18_CR22","first-page":"300","volume":"254","author":"G. Memmi","year":"1987","unstructured":"G. Memmi, J. Vautherin: \"Analyzing Nets by the Invariant method.\" In: Advances in Petri Nets 254, pp. 300\u2013336, W. Brauer, W. Reisig, G. Rozenberg (ed.) (1987).","journal-title":"Advances in Petri Nets"},{"key":"18_CR23","unstructured":"H. Mevissen: \"Algebraische Bestimmung von S-Invarianten in Pr\/Tr-Netzen.\" ISF Report, Bonn-GMD (1982)."},{"key":"18_CR24","unstructured":"JL. Peterson: \"Petri net theory and the modelling of systems.\" Prentice Hall (1981)."},{"key":"18_CR25","unstructured":"L. Petrucci, G. Berthelot: \"Manuel utilisateur de PETRIX\". CNAM Internal Report, to appear, Evry, France (1989)."},{"key":"18_CR26","doi-asserted-by":"crossref","first-page":"185","DOI":"10.1016\/0304-3975(85)90070-2","volume":"41","author":"W. Reisig","year":"1985","unstructured":"W. Reisig: \"Petri nets with individual tokens\". TCS 41 pp. 185\u2013213, North-Holland Pub. co. (1985).","journal-title":"TCS"},{"key":"18_CR27","unstructured":"W. Reisig, J. Vautherin: \"An algebraic approach to High Level Petri Nets.\" Proc. 8th Workshop on Application and Theory of Petri Nets, Zaragoza, Spain (1987)."},{"key":"18_CR28","unstructured":"M. Silva, J. Martinez, P. Ladet, H. Alla: \"Generalized inverses and the calculation of symbolic invariants for Coloured Petri Nets.\" TSI vol. 4 no1 num\u00e9ro special R\u00e9seaux de Petri, G. Memmi (ed.) pp. 113\u2013126 (1985)."},{"key":"18_CR29","doi-asserted-by":"crossref","first-page":"380","DOI":"10.1007\/3-540-50403-6_52","volume":"88","author":"Y. Souissi","year":"1988","unstructured":"Y. Souissi, N. Beldiceanu: \"Deterministic systems of sequential processes: theory and tools.\" In: Concurrency 88, pp. 380\u2013400, LNCS, G. Rozenber ed., Springer Verlag (1988).","journal-title":"Concurrency"},{"key":"18_CR30","unstructured":"J.M. Toudic: \"Algorithmes d'analyse structurelle des R\u00e9seaux de Petri.\" Th\u00e8se de 3\u00e8 cycle, Universit\u00e9 Pierre et Marie Curie (1981)."},{"key":"18_CR31","unstructured":"N. Tr\u00e8ves: \"Le calcul d'invariants dans les r\u00e9seaux de Petri \u00e0 Pr\u00e9dicats\/Transitions Unaires.\" Th\u00e8se de 3\u00e8 cycle, Universit\u00e9 Paris-Sud (1986)."},{"key":"18_CR32","unstructured":"N. Tr\u00e8ves, C. Bag\u00e8s: \"S-CORT, une m\u00e9thode de conception des syst\u00e8mes de communication.\" Proc. Journ\u00e9es Internationales de G\u00e9nie Logiciel et Applications, pp. 87\u2013104, Toulouse, France (1988)."},{"key":"18_CR33","doi-asserted-by":"crossref","unstructured":"J. Vautherin, G. Memmi: \"Computation of flows for Unary-Predicate\/Transition nets.\" In: Advances in Petri Nets 1984, LNCS 188, G. Rozenberg ed. pp. 455\u2013467, Springer-Verlag (1985).","DOI":"10.1007\/3-540-15204-0_25"},{"key":"18_CR34","unstructured":"J. Vautherin: \"Calculation of semi-flows of Pr\/T-systems.\" Proc. of International Workshop on Petri Nets and Performance models, Madison, Winconsin, USA (1987)."}],"container-title":["Lecture Notes in Computer Science","Advances in Petri Nets 1989"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-52494-0_40.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T21:08:03Z","timestamp":1619557683000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-52494-0_40"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990]]},"ISBN":["9783540524946","9783540469988"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/3-540-52494-0_40","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1990]]}}}