Oliver Botti;Lorenzo Capra
-;-
SWN Nets as a Framework for the Specification and the Analysis of FT Techniques Adopted in Electric Plant Automation
Proceedings of the 20th International Conference on Application and Theory of Petri Nets
Well-Defined Generalized Stochastic Petri Nets: A Net-Level Method to Specify Priorities
IEEE Transactions on Software Engineering