{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T07:42:23Z","timestamp":1725608543981},"publisher-location":"Vienna","reference-count":15,"publisher":"Springer Vienna","isbn-type":[{"type":"print","value":"9783211830550"},{"type":"electronic","value":"9783709168783"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/978-3-7091-6878-3_11","type":"book-chapter","created":{"date-parts":[[2011,9,15]],"date-time":"2011-09-15T07:43:51Z","timestamp":1316072631000},"page":"161-175","source":"Crossref","is-referenced-by-count":0,"title":["From text to Petri Nets: the difficulties of describing accident scenarios formally"],"prefix":"10.1007","author":[{"given":"J. C.","family":"Hill","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"P. C.","family":"Wright","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"11_CR1","volume-title":"Report on the accident to Boeing 737-400G-OBME near Kegworth, Leicestershire on 8 January 1989. Aircraft Accident Report 4\/90. Air Accidents Investigation Branch","author":"AAIB","year":"1990","unstructured":"AAIB (1990), Report on the accident to Boeing\n                737-400G-OBME near Kegworth, Leicestershire on 8 January 1989. Aircraft Accident Report 4\/90. Air Accidents Investigation Branch, Department of Transport, HMSO."},{"key":"11_CR2","volume-title":"Report on the incident to British Aerospace ATP, G-BMYK, 10 miles north of COWLY, near Oxford on 11 August 1991, Aircraft Accident Report 4\/92","author":"AAIB","year":"1992","unstructured":"AAIB (1992), Report on the incident to British Aerospace ATP, G-BMYK, 10 miles north of COWLY, near Oxford on 11 August 1991, Aircraft Accident Report 4\/92, Air Accident Investigation Branch Department of Transport, HMSO."},{"key":"11_CR3","unstructured":"Bignell, V and Fortune, J. (1984), Understanding systems failures, Manchester University Press."},{"key":"11_CR4","doi-asserted-by":"crossref","unstructured":"Biljon, W. R. van (1988), Extending Petri Nets for specifying man-machine dialogues, Man-Machine Studies, 28, p. 437.","DOI":"10.1016\/S0020-7373(88)80021-X"},{"key":"11_CR5","volume-title":"The Application of Petri Nets to Represent and Reason About Human Factors Problems During Accident Analysis","author":"CW Johnson","year":"1993","unstructured":"Johnson, C. W., (1993), The Application of Petri Nets to Represent and Reason About Human Factors Problems During Accident Analysis, Department of Computer Science, University of York."},{"key":"11_CR6","unstructured":"Johnson, C. W., McCarthy, J. C., Wright, P. C. (1995), Using a formal language to support natural language in accident reports, Ergonomics Vol. 38.6, pp. 1265\u20131283."},{"key":"11_CR7","unstructured":"McKnight, C., Dillon, A., Richardson, J. (1991), Hypertext in Context, CUP."},{"key":"11_CR8","volume-title":"From English to Formal Specifications, Technical Report MCS-93-06","author":"F Meziane","year":"1993","unstructured":"Meziane, F. and Vadera, S. (1993), From English to Formal Specifications, Technical Report MCS-93-06, Department of Mathematics and Computer Science, University of Salford."},{"key":"11_CR9","volume-title":"Hypertext and Hypermedia","author":"J Nielson","year":"1990","unstructured":"Nielson, J. (1990), Hypertext and Hypermedia, Academic Press, Inc."},{"key":"11_CR10","unstructured":"Oxford Reference (1990), Dictionary of Computing, 3rd edition, OUP."},{"key":"11_CR11","unstructured":"Palanque, P. and B as tide, R. (1996), Time Modelling in Petri Nets for the Design of Interactive Systems, SIGCHI, 28.2, p. 43."},{"key":"11_CR12","doi-asserted-by":"crossref","unstructured":"Peterson, J. L. (1977), Petri Nets, Computing Surveys, 9, p. 223.","DOI":"10.1145\/356698.356702"},{"key":"11_CR13","unstructured":"Preece, J., Rogers, Y., Sharp, H., Benyon, D., Holland, S., Carey, T. (1994), Human-Computer Interaction, Addison-Wesley."},{"key":"11_CR14","volume-title":"Springer-Verlag","author":"Reisig","year":"1982","unstructured":"Reisig, W. (1982), Petri Nets, An Introduction, Springer-Verlag (1982)."},{"key":"11_CR15","unstructured":"Shneiderman, B. and Kearsley, G. (1989), Hypertext Hands-On!: An Introduction to a New way of Organizing and Accessing Information, Addison-Wesley."}],"container-title":["Eurographics","Design, Specification and Verification of Interactive Systems \u201997"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-7091-6878-3_11.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,6]],"date-time":"2021-05-06T15:34:41Z","timestamp":1620315281000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-7091-6878-3_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783211830550","9783709168783"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-7091-6878-3_11","relation":{},"ISSN":["0946-2767"],"issn-type":[{"type":"print","value":"0946-2767"}],"subject":[],"published":{"date-parts":[[1997]]}}}