Authors: | Vyatkin Valeriy, Martin Luther University, Germany Bouzon Gustavo, Federal University of Santa Catarina, Brazil Hanisch Hans-Michael, Martin Luther University, Germany |
---|---|
Topic: | 5.1 Manufacturing Plant Control |
Session: | Dependable Manufacturing Systems Control II |
Keywords: | formal verification, visual specification, timing diagrams, Net Condition/Event systems |