This electronic documentation contains essential knowledge on an approach to formal modeling and validation of industrial automation systems that has been developing in the group of Professor Hans-Michael Hanisch of Martin Luther University Halle-Wittenberg through the last decade.
The approach bases on a specific modular formalism of Net Condition/Event systems, that combines features of modular Condition/Event systems and of place-transition formalisms with distributed states, such as Petri nets.
The documentation attempts to cover all issues necessary to start practical application of the modeling methodology in engineering practice: from theoretical foundations to supporting tools and examples.
© 2005, Valeriy V. Vyatkin