{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:56:47Z","timestamp":1725663407732},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540179061"},{"type":"electronic","value":"9783540479260"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1987]]},"DOI":"10.1007\/3-540-17906-2_20","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T19:17:58Z","timestamp":1330197478000},"page":"3-19","source":"Crossref","is-referenced-by-count":6,"title":["Computer tools for construction, modification and analysis of Petri nets"],"prefix":"10.1007","author":[{"given":"Kurt","family":"Jensen","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,29]]},"reference":[{"key":"2_CR1","doi-asserted-by":"crossref","unstructured":"P. Alanche et. al.: PSI. A Petri net based simulator for flexible manufacturing systems. Proceedings of the 5th European Workshop on Applications and Theory of Petri Nets, Aarhus 84, 72\u201384.","DOI":"10.1007\/3-540-15204-0_1"},{"key":"2_CR2","unstructured":"M. Beaudouin-Lafon: Petripote. A graphic system for Petri net design and simulation. Proceedings of the 4th European Workshop on Applications and Theory of Petri Nets, Toulouse 83, 20\u201330."},{"key":"2_CR3","unstructured":"P. Behm: Rafael. A tool for analyzing parallel systems in the L environment. Proceedings of the 6th European Workshop on Applications and Theory of Petri Nets, Espoo 85, 227\u2013253."},{"key":"2_CR4","doi-asserted-by":"crossref","unstructured":"G. Berthelot: Checking properties of nets using transformations. G. Rozenberg (ed.): Advances in Petri Nets 1985. Lecture Notes of Computer Science 222, Springer-Verlag 86, 19\u201340.","DOI":"10.1007\/BFb0016204"},{"key":"2_CR5","unstructured":"C. Choppy and C. Johnen: PetriReve. Petri net transformations and proofs with rewriting systems. Proceedings of the 6th European Workshop on Applications and Theory of Petri nets, Espoo 85, 255\u2013273."},{"key":"2_CR6","unstructured":"J.M. Colom, J. Martinez, and M. Silva: Packages for validating discrete production systems modelled with Petri nets. Proceedings of the IMACS-IFAC Symposium, June 1986."},{"key":"2_CR7","unstructured":"Design\u2212. Users Guide. Meta Software Corporation, Massachusetts 86."},{"key":"2_CR8","doi-asserted-by":"crossref","unstructured":"P. Ehn and M. Kyng: A tool perspective on design of interactive computer support for skilled workers. Proceedings of the 7th Scandinavian Research Seminar on Systemeering, Helsinki 84.","DOI":"10.7146\/dpb.v14i190.6547"},{"key":"2_CR9","doi-asserted-by":"crossref","unstructured":"F. Feldbrugge: Petri net tools. G. Rozenberg (ed.): Advances in Petri Nets 1985. Lecture Notes of Computer Science 222, Springer-Verlag 86, 203\u2013223.","DOI":"10.1007\/BFb0016213"},{"key":"2_CR10","unstructured":"F. Feldbrugge and K. Jensen: Petri net tool overview \u2014 1986. Contained in this volume."},{"key":"2_CR11","doi-asserted-by":"crossref","unstructured":"H.J. Genrich and R.M. Shapiro: A diagram editor for line drawings with inscriptions. A Pagnoni and G. Rozenberg (eds.): Applications and Theory of Petri nets, Informatik-Fachberichte 66, Springer-Verlag 83, 112\u2013131.","DOI":"10.1007\/978-3-642-69028-0_9"},{"key":"2_CR12","unstructured":"H.J. Genrich: Net theory and application. H.-J. Kugler (ed.): Proceedings of the IFIP Congress, Dublin 86, North-Holland 86."},{"key":"2_CR13","doi-asserted-by":"crossref","unstructured":"P. Huber, A.M. Jensen, L.O. Jepsen, and K. Jensen: Towards reachability trees for high-level Petri nets. G. Rozenberg (ed.): Advances in Petri Nets 1984. Lecture Notes of Computer Science 188, Springer-Verlag 85, 215\u2013233.","DOI":"10.1007\/3-540-15204-0_13"},{"key":"2_CR14","doi-asserted-by":"crossref","unstructured":"K. Jensen: The design of a program package for an introductory Petri net course. G. Rozenberg (ed.): Advances in Petri Nets 1984. Lecture Notes of Computer Science 188, Springer-Verlag 85, 259\u2013266.","DOI":"10.1007\/3-540-15204-0_15"},{"key":"2_CR15","unstructured":"K. Jensen: Coloured Petri nets. Contained in this volume."},{"key":"2_CR16","unstructured":"R. Kujansuu and M. Lindquist: Efficient algorithms for computing Sinvariants for predicate\/transition nets. Proceedings of the 5th European Workshop on Applications and Theory of Petri Nets, Aarhus 84, 156\u2013173."},{"key":"2_CR17","unstructured":"R. Kujansuu, M. Lindquist, L. Ojala and M. Tiusanen: Petri net based analysis environment supporting software production. Proceedings of the 1985 International Symposium on Circuits and Systems, Kyoto 85, IEEE, 727\u2013730."},{"key":"2_CR18","unstructured":"M.A. Marsan and G. Chiola: On Petri nets with deterministic and exponential transition firing times. Proceedings of the 7th European Workshop on Applications and Theory of Petri Nets, Oxford 86, 151\u2013165."},{"key":"2_CR19","unstructured":"B. Montel et. al.: Ovide. A software package for the validation of systems represented by Petri net based models. Proceedings of the 4th European Workshop on Applications and Theory of Petri Nets, Toulouse 83, 292\u2013308."},{"key":"2_CR20","unstructured":"J-L. Roux and B. Berthomieu: Verification of a local area network protocol with Tina \u2014 A software package for timed Petri nets. Proceedings of the 7th European Workshop on Applications and Theory of Petri Nets, Oxford 86, 183\u2013205."},{"key":"2_CR21","unstructured":"S.M. Shatz and W. Cheng: Static analysis of Ada programs using the Petri net model. Proceedings of the 1985 International Symposium on Circuits and Systems, Kyoto 85, IEEE, 719\u2013722."},{"issue":"1","key":"2_CR22","first-page":"113","volume":"4","author":"M. Silva","year":"1985","unstructured":"M. Silva, J. Martinez, P. Ladet, and H. Alla: Generalized inverses and the calculation of symbolic invariants for coloured Petri nets. Technique et Science Informatiques, vol 4, no. 1 (1985) 113\u2013126.","journal-title":"Technique et Science Informatiques"},{"key":"2_CR23","doi-asserted-by":"crossref","unstructured":"J. Vautherin and G. Memmi: Computation of flows for unary predicate\/transition nets. G. Rozenberg (ed): Advances in Petri Nets 1984. Lecture Notes of Computer Science 188, Springer-Verlag 85, 455\u2013467.","DOI":"10.1007\/3-540-15204-0_25"},{"key":"2_CR24","doi-asserted-by":"crossref","unstructured":"G.R. Wheeler, M.C. Wilbur-Ham, J. Billington, and J.A. Gilmour: Protocol analysis using numerical Petri nets. G. Rozenberg (ed.): Advances in Petri Nets 1985. Lecture Notes of Computer Science 222, Springer-Verlag 86, 435\u2013451.","DOI":"10.1007\/BFb0016225"}],"container-title":["Lecture Notes in Computer Science","Petri Nets: Applications and Relationships to Other Models of Concurrency"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-17906-2_20.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:13:18Z","timestamp":1605643998000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-17906-2_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1987]]},"ISBN":["9783540179061","9783540479260"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/3-540-17906-2_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1987]]}}}