{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,15]],"date-time":"2025-10-15T17:14:39Z","timestamp":1760548479324},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540646778"},{"type":"electronic","value":"9783540691082"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/3-540-69108-1_19","type":"book-chapter","created":{"date-parts":[[2007,8,6]],"date-time":"2007-08-06T14:45:11Z","timestamp":1186411511000},"page":"345-364","source":"Crossref","is-referenced-by-count":12,"title":["Flexibility in Algebraic Nets"],"prefix":"10.1007","author":[{"given":"Ekkart","family":"Kindler","sequence":"first","affiliation":[]},{"given":"Hagen","family":"V\u00f6lzer","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2000,3,3]]},"reference":[{"key":"19_CR1","doi-asserted-by":"crossref","unstructured":"E. Best and C. Fern\u00e1ndez. Nonsequential Processes. Springer, 1988.","DOI":"10.1007\/978-3-642-73483-0"},{"key":"19_CR2","unstructured":"J. Billington. Extending coloured Petri nets. Technical Report 148, University of Cambridge, Computer Laboratory, Oct. 1988."},{"key":"19_CR3","unstructured":"J. Billington. Extensions to Coloured Petri Nets and their Application to Protocols. Technical Report 222, University of Cambridge, May 1991."},{"key":"19_CR4","unstructured":"M. Broy. On the design and verification of a simple distributed spanning tree algorithm. SFB-Bericht 342\/24\/90 A, Technische Universtit\u00e4t M\u00fcnchen, Dec. 1990."},{"key":"19_CR5","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1016\/0304-3975(95)00117-4","volume":"153","author":"J. Desel","year":"1996","unstructured":"J. Desel, K.-P. Neuendorf, and M.-D. Radola. Proving nonreachability by moduloinvariants. Theoretical Computer Science, 153:49\u201364, 1996.","journal-title":"Theoretical Computer Science"},{"key":"19_CR6","doi-asserted-by":"crossref","unstructured":"H. Ehrig and B. Mahr. Fundamentals of Algebraic Specifications 1, Equations and Initial Semantics, Springer, 1985.","DOI":"10.1007\/978-3-642-69962-7"},{"key":"19_CR7","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/S0019-9958(83)80040-0","volume":"57","author":"U. Goltz","year":"1983","unstructured":"U. Goltz and W. Reisig. The non-sequential behaviour of Petri nets. Information and Control, 57:125\u2013147, 1983.","journal-title":"Information and Control"},{"key":"19_CR8","doi-asserted-by":"crossref","unstructured":"K. Jensen. Coloured Petri Nets, Volume 1: Basic Concepts. Springer, 1992.","DOI":"10.1007\/978-3-662-06289-0_1"},{"key":"19_CR9","unstructured":"K. Jensen. Coloured Petri Nets. Volume 2: Analysis Methods. Springer, 1995."},{"key":"19_CR10","first-page":"16","volume":"51","author":"E. Kindler","year":"1996","unstructured":"E. Kindler and W. Reisig. Algebraic system nets for modelling distributed algorithms. Petri Net Newsletter, 51:16\u201331, Dec. 1996.","journal-title":"Petri Net Newsletter"},{"key":"19_CR11","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"261","DOI":"10.1007\/BFb0052094","volume-title":"Foundations of Computer Science: Potential \u2014 Theory \u2014 Cognition","author":"E. Kindler","year":"1997","unstructured":"E. Kindler and W. Reisig. Verification of distributed algorithms with algebraic Petri nets. In C. Freksa, M. Jantzen, and R. Valk, editors, Foundations of Computer Science: Potential \u2014 Theory \u2014 Cognition, LNCS 1337, pp. 261\u2013270. Springer 1997."},{"key":"19_CR12","doi-asserted-by":"publisher","first-page":"409","DOI":"10.1007\/BF01211299","volume":"9","author":"E. Kindler","year":"1997","unstructured":"E. Kindler, W. Reisig, H. V\u00f6lzer, and R. Walter. Petri net based verification of distributed algorithms: An example. Formal Aspects of Computing, 9:409\u2013424, 1997.","journal-title":"Formal Aspects of Computing"},{"key":"19_CR13","unstructured":"E. Kindler and H. V\u00f6lzer. Flexibility in algebraic nets. Informatik-Bericht 89, Humboldt-Universit\u00e4t zu Berlin, Institut f\u00fcr Informatik, 1997. Available at http:\/\/www.informatik.hu-berlin.de\/~kindler\/papers.html"},{"key":"19_CR14","series-title":"Lect Notes Comput Sci","first-page":"213","volume-title":"Net Theory and Applications","author":"G. Memmi","year":"1979","unstructured":"G. Memmi and G. Roucairol. Linear algebra in net theory. In W. Brauer, editor, Net Theory and Applications, LNCS 84, pp. 213\u2013223. Springer, Oct. 1979."},{"key":"19_CR15","unstructured":"J. L. Peterson. Petri Net Theory And The Modeling of Systems. Prentice-Hall 1981."},{"key":"19_CR16","doi-asserted-by":"crossref","unstructured":"W. Reisig. Petri Nets, Springer, 1985.","DOI":"10.1007\/978-3-642-69968-9"},{"key":"19_CR17","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. Theoretical Computer Science, 80:1\u201334, May 1991.","journal-title":"Theoretical Computer Science"},{"key":"19_CR18","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"441","DOI":"10.1007\/BFb0015259","volume-title":"Computer Science Today: Recent Trends and Developments","author":"W. Reisig","year":"1995","unstructured":"W. Reisig. Petri net models of distributed algorithms. In J. van Leeuwen, editor, Computer Science Today: Recent Trends and Developments, LNCS 1000, pp. 441\u2013454. Springer, 1995."},{"key":"19_CR19","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"427","DOI":"10.1007\/3-540-63139-9_49","volume-title":"Application and Theory of Petri Nets 1997, International Conference, Proceedings","author":"K. Schmidt","year":"1997","unstructured":"K. Schmidt. Verification of siphons and traps for algebraic Petri nets. In P. Az\u00e9ma and G. Balbo, editors, Application and Theory of Petri Nets 1997, International Conference, Proceedings, LNCS 1248, pp. 427\u2013446. Springer, June 1997."},{"key":"19_CR20","doi-asserted-by":"crossref","unstructured":"E. Smith and W. Reisig. The semantics of a net is a net, an exercise in general net theory. In K. Voss, H. Genrich, and G. Rozenberg, editors, Concurrency and Nets. Springer, 1987.","DOI":"10.1007\/978-3-642-72822-8_29"},{"key":"19_CR21","series-title":"Lect Notes Comput Sci","first-page":"431","volume-title":"Application and Theory of Petri Nets 1993, International Conference, Proceedings","author":"R. Valk","year":"1993","unstructured":"R. Valk. Bridging the gap between place-and Floyd-invariants with applications to preemptive scheduling. In M. A. Marsan (ed), Application and Theory of Petri Nets 1993, International Conference, Proceedings, LNCS 691, pp. 431\u2013452. Springer, June 1993."},{"key":"19_CR22","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1007\/3-540-18086-9_31","volume-title":"Advances in Petri Nets","author":"J. Vautherin","year":"1987","unstructured":"J. Vautherin. Parallel systems specifications with coloured Petri nets and algebraic specifications. In G. Rozenberg, editor, Advances in Petri Nets, LNCS 266, pp. 293\u2013308. Springer, 1987."},{"key":"19_CR23","unstructured":"H. V\u00f6lzer. Verifying fault tolerance of distributed algorithms formally: An example. In CSD98, \u2018International Conference on Application of Concurrency to System Design\u2019, Aizu-Wakamatsu City, Japan, Mar. 1998. IEEE Computer Society Press."},{"key":"19_CR24","unstructured":"M. Weber, R. Walter, H. V\u00f6lzer, T. Vesper, W. Reisig, S. Peuker, E. Kindler, J. Freiheit, and J. Desel. DAWN: Petrinetzmodelle zur Verifikation Verteilter Algorithmen. Informatik-Bericht 88, Humboldt-Universit\u00e4t zu Berlin, Dec. 1997."}],"container-title":["Lecture Notes in Computer Science","Application and Theory of Petri Nets 1998"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-69108-1_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T15:49:11Z","timestamp":1556725751000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-69108-1_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540646778","9783540691082"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/3-540-69108-1_19","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1998]]}}}