{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:53:10Z","timestamp":1725663190573},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540152040"},{"type":"electronic","value":"9783540393207"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1985]]},"DOI":"10.1007\/3-540-15204-0_15","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T18:17:04Z","timestamp":1330193824000},"page":"259-266","source":"Crossref","is-referenced-by-count":2,"title":["The design of a program package for an introductory petri net course"],"prefix":"10.1007","author":[{"given":"Kurt","family":"Jensen","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,30]]},"reference":[{"key":"15_CR1","unstructured":"M. Beaudouin-Lafon, Petripote: A graphic system for Petri net design and simulation, 4th European Workshop on Applications and Theory of Petri nets, Toulouse 1983."},{"key":"15_CR2","first-page":"112","volume-title":"Applications and Theory of Petri nets","author":"H. J. Genrich","year":"1982","unstructured":"H.J. Genrich and R.M. Shapiro, A diagram editor for line drawings with inscriptions, in: Applications and Theory of Petri nets, A. Pagnoni and G. Rozenberg (eds.), Informatik-Frachberichte, vol. 66, Springer Berlin 1982, 112\u2013131."},{"key":"15_CR3","doi-asserted-by":"crossref","unstructured":"P. Huber, A.M. Jensen, L.O. Jepsen and K. Jensen, Towards reachability trees for high-level Petri nets, Computer Science Department, Aarhus University, 5th European Workshop on Applications and Theory of Petri nets, Aarhus 1984 (also in this volume).","DOI":"10.7146\/dpb.v13i174.7449"},{"key":"15_CR4","doi-asserted-by":"crossref","first-page":"327","DOI":"10.1007\/3-540-10856-4_100","volume-title":"Mathematical Foundations of Computer Science 1981","author":"K. Jensen","year":"1981","unstructured":"K. Jensen, How to find invariants for coloured Petri nets, in: Mathematical Foundations of Computer Science 1981, J. Gruska and M. Chytil (eds.), Lecture Notes in Computer Science, vol. 118, Springer Berlin 1981, 327\u2013338."},{"key":"15_CR5","doi-asserted-by":"crossref","first-page":"166","DOI":"10.1007\/978-3-642-69028-0_12","volume-title":"Applications and Theory of Petri nets","author":"K. Jensen","year":"1983","unstructured":"K. Jensen, High-level Petri nets, in: Applications and Theory of Petri nets, A. Pagnoni and G. Rozenberg (eds.), Informatik-Fachberichte, vol. 66. Springer Berlin 1983, 166\u2013180."},{"key":"15_CR6","unstructured":"K. Jensen, P. Huber, N.N. Larsen and I. Martinsen, Petri net package. User's manual, DAIMI MD-46, Computer Science Department, Aarhus University, version 3.1 1984."},{"key":"15_CR7","unstructured":"B. Montel et al., Ovide: A software package for the validation of systems represented by Petri net based models, 4th European Workshop on Applications and Theory of Petri nets, Toulouse 1983."},{"key":"15_CR8","unstructured":"J.L. Peterson, Petri net theory and the modelling of systems, Prentice-Hall, 1981."}],"container-title":["Lecture Notes in Computer Science","Advances in Petri Nets 1984"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-15204-0_15.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T01:34:41Z","timestamp":1640914481000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-15204-0_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1985]]},"ISBN":["9783540152040","9783540393207"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/3-540-15204-0_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1985]]}}}