In: Toulouse'90: Software Engineering and its Applications, Third International Workshop, 1990, Toulouse, France, pages 685-696. Nanterre: EC2, 1990.
Abstract: Algebraic specification is well-known as a formal method for the definition of complex systems. Petri nets are a well-known means for the description of system behaviour and for the proof of system properties. In this paper, it is attempted to combine the two methods and to take advantage of their individual power. A transformation procedure is presented, which brings the declarative definition of algebraic specification into a dynamical net formation and enables the application of analytical Petri net techniques.
Keywords: discrete-event system; algebraic specification.