A Coloured Petri Net Approach to Model and Analyze Safety-Critical Interactive Systems.

Sapna Jaidka Steve Reeves Judy Bowen

Published in: APSEC (2019)

Keyphrases

petri net
petri net model
management system
interactive systems
real time
safety critical
colored petri nets
stochastic petri net
learning environment
human computer interaction
metamodel
safety analysis
fuzzy petri net