Abstract
Much work has been carried out on using Petri Nets to describe interaction and the design of interactive systems. In this paper we are concerned with the use of Petri Nets to help describe accident scenarios. The issue here is that Petri Nets or some other formal notation might help eliminate ambiguities and imprecision that are characteristic of natural language descriptions in accident reports. We present a case study in which an attempt was made to describe a fragment of an aircraft accident report using a Petri Net description and identify four problems associated with this process. We argue that these problems can be overcome by the use of multiple renderings of the accident data. But this solution has its own problems of how to coordinate information from multiple renderings. A hypertext tool is outlined, which provides support for information coordination across multiple representations.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
AAIB (1990), 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, Department of Transport, HMSO.
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.
Bignell, V and Fortune, J. (1984), Understanding systems failures, Manchester University Press.
Biljon, W. R. van (1988), Extending Petri Nets for specifying man-machine dialogues, Man-Machine Studies, 28, p. 437.
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.
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–1283.
McKnight, C., Dillon, A., Richardson, J. (1991), Hypertext in Context, CUP.
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.
Nielson, J. (1990), Hypertext and Hypermedia, Academic Press, Inc.
Oxford Reference (1990), Dictionary of Computing, 3rd edition, OUP.
Palanque, P. and B as tide, R. (1996), Time Modelling in Petri Nets for the Design of Interactive Systems, SIGCHI, 28.2, p. 43.
Peterson, J. L. (1977), Petri Nets, Computing Surveys, 9, p. 223.
Preece, J., Rogers, Y., Sharp, H., Benyon, D., Holland, S., Carey, T. (1994), Human-Computer Interaction, Addison-Wesley.
Reisig, W. (1982), Petri Nets, An Introduction, Springer-Verlag (1982).
Shneiderman, B. and Kearsley, G. (1989), Hypertext Hands-On!: An Introduction to a New way of Organizing and Accessing Information, Addison-Wesley.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1997 Springer-Verlag/Wien
About this paper
Cite this paper
Hill, J.C., Wright, P.C. (1997). From text to Petri Nets: the difficulties of describing accident scenarios formally. In: Harrison, M.D., Torres, J.C. (eds) Design, Specification and Verification of Interactive Systems ’97. Eurographics. Springer, Vienna. https://doi.org/10.1007/978-3-7091-6878-3_11
Download citation
DOI: https://doi.org/10.1007/978-3-7091-6878-3_11
Publisher Name: Springer, Vienna
Print ISBN: 978-3-211-83055-0
Online ISBN: 978-3-7091-6878-3
eBook Packages: Springer Book Archive