For the most recent entries see the Petri Nets Newsletter.

Representation and Verification of Discrete-Event Systems by Means of Petri Nets.

Brummer, J.

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.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography