The Application Of Petri Nets To Represent And Reason About Human Factors Problems During Accident Analyses

This publication has 12 references indexed in Scilit:

• Using a formal language to support natural language in accident reports
  Ergonomics, 1995
• Using Z to support the design of interactive safety-critical systems
  Software Engineering Journal, 1995
• Using temporal logic to support the specification and prototyping of interactive control systems
  International Journal of Man-Machine Studies, 1992
• Introducing the GRASPIN specification language SEGRAS
  Journal of Systems and Software, 1991
• Concurrency control in groupware systems
  ACM SIGMOD Record, 1989
• Extending Petri nets for specifying man–machine dialogues
  International Journal of Man-Machine Studies, 1988
• The use of Petri nets to analyze coherent fault trees
  IEEE Transactions on Reliability, 1988
• Experimental investigation of psychophysiological stress-reactions induced by different system response times in human-computer interaction∗
  Ergonomics, 1987
• Timed petri nets: A solution to the minimum-time-reachability problem between two states of a timed-event graph
  Journal of Systems and Software, 1986
• A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems
  ACM Transactions on Computer Systems, 1984