Rewriting Applied to Pr/E-Nets Over Algebraic Specifications with Constructors.

For the most recent entries see the Petri Nets Newsletter.

Rewriting Applied to Pr/E-Nets Over Algebraic Specifications with Constructors.

European Strategic Programs for Research and Developement in Information Technology. Gesellschaft für Mathematik und Datenverarbeitung mbH, 1988.

Abstract: The paper deals with the application of algebraic specification and term rewriting techniques to the execution and analysis of High Level Petri Nets.

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

Back to the Petri Nets Bibliography