{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,22]],"date-time":"2025-12-22T08:03:54Z","timestamp":1766390634658},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540568636"},{"type":"electronic","value":"9783540477594"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-56863-8_47","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T11:42:14Z","timestamp":1330256534000},"page":"186-205","source":"Crossref","is-referenced-by-count":45,"title":["Coloured Petri nets extended with place capacities, test arcs and inhibitor arcs"],"prefix":"10.1007","author":[{"given":"S\u00f8ren","family":"Christensen","sequence":"first","affiliation":[]},{"given":"Niels Damgaard","family":"Hansen","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"12_CR1","unstructured":"J. Billington: Extending Coloured Petri Nets. University of Cambridge, Computer Laboratory, Technical Report No. 148, October 1988. (Ph.D. Thesis)."},{"key":"12_CR2","doi-asserted-by":"crossref","unstructured":"S. Christensen, N. Damgaard Hansen: Coloured Petri nets extended with place capacities, test arcs and inhibitor arcs. Daimi PB-398, ISSN 0105-8517, May 1992. Available as: Daimi PB-398, ISSN 0105-8517, May 1992.","DOI":"10.7146\/dpb.v21i398.6632"},{"key":"12_CR3","unstructured":"G. Chiola, S. Donatelli and G. Franceschinis. Priorities, Inhibitor Arcs and Concurrency in P\/T Nets. Proceedings of the 12th International Conference on Application and Theory of Petri Nets, Aarhus 1991, 182\u2013205."},{"key":"12_CR4","doi-asserted-by":"crossref","unstructured":"R. Devillers: The Semantics of Capacities in P\/T Nets. In: G. Rozenberg (ed.): Advances in Petri Nets 1989. Lecture Notes in Computer Science, vol. 424. Springer-Verlag, 1989, pp. 128\u2013150.","DOI":"10.1007\/3-540-52494-0_28"},{"key":"12_CR5","doi-asserted-by":"crossref","unstructured":"H.J. Genrich: Predicate\/Transition nets. In: W. Brauer, W. Reisig and G. Rozenberg (eds.): Petri Nets: Central Models and Their Properties, Advances in Petri Nets 1986 Part I, Lecture Notes in Computer Science vol. 254, Springer-Verlag 1987, 207\u2013247.","DOI":"10.1007\/978-3-540-47919-2_9"},{"key":"12_CR6","series-title":"Lecture Notes in Computer Science vol. 84","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1007\/3-540-10001-6_22","volume-title":"Net theory and applications","author":"H.J. Genrich","year":"1980","unstructured":"H.J. Genrich, K. Lautenbach and P.S. Thiagarajan: Elements of general net theory. In: W. Brauer (ed.): Net theory and applications. Proceedings of the Advanced Course on General Net Theory of Processes and Systems, Hamburg 1979, Lecture Notes in Computer Science vol. 84, Springer-Verlag 1980, 21\u2013163."},{"key":"12_CR7","doi-asserted-by":"crossref","unstructured":"K. Jensen: Coloured Petri nets: A high level language for system design and analysis. In: G. Rozenberg (ed.): Advances in Petri Nets 1990. Lecture Notes in Computer Science, vol. 383. Springer-Verlag, 1990, pp. 342\u2013416.","DOI":"10.1007\/3-540-53863-1_31"},{"key":"12_CR8","unstructured":"K. Jensen: Coloured Petri nets. Basic concepts, analysis methods and practical use. Volume 1: Basic concepts. EATCS monographs on Theoretical Computer Science, Springer-Verlag 1992."},{"key":"12_CR9","doi-asserted-by":"crossref","unstructured":"W. Reisig: Petri Nets. An introduction. EATCS Monographs on Theoretical Computer Science, Vol. 4, ISBN 3-540-13723-8 or 0-387-13723-8, Springer-Verlag, 1985.","DOI":"10.1007\/978-3-642-69968-9"}],"container-title":["Lecture Notes in Computer Science","Application and Theory of Petri Nets 1993"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-56863-8_47.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:06:17Z","timestamp":1605647177000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-56863-8_47"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540568636","9783540477594"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/3-540-56863-8_47","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}