{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,6]],"date-time":"2026-01-06T13:25:12Z","timestamp":1767705912899},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540581529"},{"type":"electronic","value":"9783540484622"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58152-9_16","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T15:20:07Z","timestamp":1330269607000},"page":"278-297","source":"Crossref","is-referenced-by-count":8,"title":["Verification of recipe-based control procedures by means of predicate\/transition nets"],"prefix":"10.1007","author":[{"given":"Hartmann J.","family":"Genrich","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hans-Michael","family":"Hanisch","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Konrad","family":"W\u00f6llhaf","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"16_CR1","unstructured":"Engell S.; W\u00f6llhaf, K.: Dynamic simulation of batch plants, Proc. European Symposium on Computer Aided Process Engineering-3 (ESCAPE-3), Graz, 439\u2013444, (1993)."},{"key":"16_CR2","unstructured":"Genrich, H. J.; Shapiro, R.M.: Hazard Analysis. Technical Report, Meta Software Corporation (Nov. 1993)."},{"key":"16_CR3","volume-title":"Petri-Netze in der Verfahrenstechnik","author":"H.-M. Hanisch","year":"1992","unstructured":"Hanisch, H.-M.: Petri-Netze in der Verfahrenstechnik. Muenchen\/Wien: Oldenbourg-Verlag (1992)."},{"key":"16_CR4","volume-title":"LNCS 691","author":"H.-M. Hanisch","year":"1993","unstructured":"Hanisch, H.-M.: Analysis of Place\/Transition Nets with Timed Arcs and Its Application to Batch Process Control. LNCS 691, Berlin: Springer-Verlag (1993)."},{"key":"16_CR5","volume-title":"Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. Volume 1, Basic Concepts","author":"K. Jensen","year":"1992","unstructured":"Jensen, K.: Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. Volume 1, Basic Concepts. Berlin: Springer-Verlag (1992)."},{"key":"16_CR6","unstructured":"Mergen, R.J.: Batch Control Systems Standards. An Update on ISA\/SP88. Wickliffe, Ohio 1990."},{"key":"16_CR7","unstructured":"Meta Software Corporation: Design\/CPN Reference Manual. Version 2.0 (1993)."},{"key":"16_CR8","unstructured":"Meta Software Corporation: The Design\/CPN Occurrence Graph Analyzer. Version 0.3 (1992)."},{"key":"16_CR9","unstructured":"NAMUR-Empfehlung: Anforderungen an Systeme zur Rezeptfahrweise (Requirements for Batch Control Systems). NAMUR AK 2.3 Funktionen der Betriebs-und Produktionsleitebene (1992)."},{"key":"16_CR10","first-page":"17","volume":"29","author":"R.J. Uhlig","year":"1987","unstructured":"Uhlig, R.J.: Erstellen von Ablaufsteuerungen f\u00fcr Chargenprozesse mit wechselnden Rezepturen (Development of sequential controllers for batch processes with variable recipes). Automatisierungstechnische Praxis 29, 17\u201323 (1987).","journal-title":"Automatisierungstechnische Praxis"}],"container-title":["Lecture Notes in Computer Science","Application and Theory of Petri Nets 1994"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58152-9_16.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:11:41Z","timestamp":1619572301000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58152-9_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540581529","9783540484622"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-58152-9_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}