For the most recent entries see the Petri Nets Newsletter.

STOP -- Specification Technique of Operational Processes.

Einer, Stefan

In: Integration of Software Specification Techniques for Applications in Engineering: Priority Program SoftSpez of the German Research Foundation (DFG), Final Report, pages 227-247. Volume 3147 of Lecture Notes in Computer Science --- Springer-Verlag, September 2004.

Abstract: The formal technique STOP is a specific application of Coloured Petri Nets. It serves as a methodical specification of operational processes in automation systems. Each concrete specification made by using STOP can be verified with regard to relative completeness and correctness. The present paper introduces the approach and the application domain of STOP as well as its technical characteristics. By discussing experiences made in application of STOP the theoretical introduction of STOP is additionally practically substantiated.


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

Back to the Petri Nets Bibliography