Lorenzo Capra, Rossano Gaeta, Oliver Botti. SWN Nets as a Framework for the Specification and the Analysis of FT Techniques Adopted in Electric Plant Automation. In Susanna Donatelli, H. C. M. Kleijn, editors, Application and Theory of Petri Nets 1999, 20th International Conference, ICATPN 99, Williamsburg, Virginia, USA, June 21-25, 1999, Proceedings. Volume 1639 of Lecture Notes in Computer Science, pages 168-187, Springer, 1999. [doi]
Abstract is missing.