{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T17:00:40Z","timestamp":1725642040721},"publisher-location":"London","reference-count":14,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9783540199823"},{"type":"electronic","value":"9781447130789"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/978-1-4471-3078-9_21","type":"book-chapter","created":{"date-parts":[[2011,12,11]],"date-time":"2011-12-11T21:47:45Z","timestamp":1323640065000},"page":"310-325","source":"Crossref","is-referenced-by-count":4,"title":["On the Computation of Place Invariants for Algebraic Petri Nets"],"prefix":"10.1007","author":[{"given":"Karsten","family":"Schmidt","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"21_CR1","volume-title":"and Theory of Petri Nets","author":"JM Couvreur","year":"1990","unstructured":"J.M. Couvreur. The general computations of flows for coloured nets. Proc. of the 11th Int. Workshop on Appl. and Theory of Petri Nets, 1990."},{"key":"21_CR2","volume-title":"Linear invariants in commutative high level nets","author":"JM Couvreur","year":"1991","unstructured":"J.M. Couvreur, J. Martinez. Linear invariants in commutative high level nets. High-level Petri nets, Theory and Application, 1991."},{"key":"21_CR3","volume-title":"Springer","author":"E Ehrig","year":"1985","unstructured":"H. Ehrig, B. Mahr. Fundamentals of Algebraic Specifications 1. EATCS Monographs on Theor. Comp. Science 6. Springer 1985."},{"key":"21_CR4","volume-title":"Informatik-Fachberichte","author":"H Genrich","year":"1983","unstructured":"H. Genrich, K. Lautenbach. S-invariance in Pr\/T-nets. Informatik-Fachberichte, (66), 1983."},{"key":"21_CR5","volume-title":"Theory of Petri Nets","author":"S Haddad","year":"1988","unstructured":"S. Haddad, J.M. Couvreur. Towards a general and powerful computation of flows for parameterized coloured nets. Proc. of the 9th European Workshop on Appl. and Theory of Petri Nets, 1988."},{"key":"21_CR6","doi-asserted-by":"publisher","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 invariant-method. Theor. Comp. Science, 14: 317\u2013336, 1981.","journal-title":"Theor Comp. Science"},{"key":"21_CR7","first-page":"327","volume":"118","author":"K Jensen","year":"1981","unstructured":"K. Jensen. How to find invariants for coloured Petri nets. LNCS, 118: 327\u2013338, 1981.","journal-title":"How to find invariants for coloured Petri nets"},{"key":"21_CR8","unstructured":"K. Lautenbach, A. Pagnoni. Invariance and duality in predicate\/transition nets and in coloured nets. Arbeitspapiere der GMD, 132, 1985."},{"key":"21_CR9","first-page":"300","volume-title":"Rozenberg, Brauer, Reisig (eds.), Advances in Petri nets 1986","author":"G Memmi","year":"1987","unstructured":"G. Memmi, J. Vautherin. Analysing nets by the invariant method. In: Rozenberg, Brauer, Reisig (eds.), Advances in Petri nets 1986, pages 300\u2013336, 1987."},{"key":"21_CR10","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-3975(91)90203-E","volume":"80","author":"W Reisig","year":"1991","unstructured":"W. Reisig. Petri nets and algebraic specifications. Theor. Comp. Science, 80 (1991): 1\u201334.","journal-title":"Comp. Science"},{"key":"21_CR11","unstructured":"K. Schmidt. T-invariants of algebraic petri nets. Informatik-Bericht der HU Berlin, 31, 1994."},{"key":"21_CR12","volume-title":"Generalized inverses and the calculations of symbolic invariants for coloured nets","author":"M Silva","year":"1991","unstructured":"M. Silva, J. Martinez, P. Ladet, H. Alia. Generalized inverses and the calculations of symbolic invariants for coloured nets. High-level Petri nets, Theory and Application, 1991."},{"key":"21_CR13","unstructured":"J. Vautherin. Parallel systems specification with colored Petri nets and abstract data types. Proc. of the 7th European Workshop on ATPN Oxford 1986, 5\u201323."},{"key":"21_CR14","volume-title":"Int","author":"J Vautherin","year":"1987","unstructured":"J. Vautherin. Calculation of semi-flows for Pr\/T-systems. In T. Murata, editor, Int. Workshop on Petri Nets and Performance Models. IEEE Computer Society Press, 1987."}],"container-title":["Workshops in Computing","Structures in Concurrency Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-3078-9_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,21]],"date-time":"2019-04-21T10:25:51Z","timestamp":1555842351000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-3078-9_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540199823","9781447130789"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-3078-9_21","relation":{},"ISSN":["1431-1682"],"issn-type":[{"type":"print","value":"1431-1682"}],"subject":[],"published":{"date-parts":[[1995]]}}}