INT

Klein, S.; Frey, G.; Litz, L.: A Petri Net based Approach to the Development of correct Logic Controllers. Proceedings of the 2nd International Workshop on Integration of Specification Techniques for Applications in Engineering (INT 2002), pp. 116-129, Grenoble, France, Apr. 2002.