Structured Occurrence Nets: A Formalism for Aiding System Failure Prevention and Analysis Techniques Вид публикации: Journal Article Авторы: Maciej Koutny; Brian Randell Источник: Fundamenta Informaticae, Volume 97, № 1-2, p.41-91 (2009)