For the most recent entries see the Petri Nets Newsletter.

CASCADE: A Tool Kernel Supporting a Comprehensive Design Method for Asynchronous Controllers.

Beister, Jochen; Eckstein, Gernot; Wollowski, Ralf

In: Nielsen, M.; Simpson, D.: Lecture Notes in Computer Science, Vol. 1825: 21st International Conference on Application and Theory of Petri Nets (ICATPN 2000), Aarhus, Denmark, June 2000, pages 445-454. Springer-Verlag, 2000.

Abstract: CASCADE is a tool kernel that supports the synthesis of asynchronous controllers. It uses a generalized STG (an interpreted Petri net) as a unified design entry and allows the designer to choose between several appropriate design methods. It then transforms the initial specification into the design entry required by the chosen style, and interfaces with existing synthesis tools (petrify for SI circuits, 3D for XBM synthesis). By decomposition, certain problems involving output concurrency and MOC behaviour are made XBM-feasible.

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

Back to the Petri Nets Bibliography