Contact and support
Need help, have a question, or want to contact the ResearchHub team?
© 2026 ResearchHub. Built for responsible scholarly connection.
Research graph
References from Hierarchical multi-layer CAD system for systematic design of complex logic controllers. Local targets link to admitted publications; unresolved targets remain external evidence.
Unresolved reference
1979 · External reference
Principles and engineering process control with Petri nets
10.1109/9.381 · 1988 · External reference
Convex geometry and semiflow in P/T nets
1989 · External reference
Improving the linearly based characterization of P/T nets
1989 · External reference
Implementing a Petri net controller for a machining workstation
1987 · External reference
Modelling of dynamic systems by Petri nets
1991 · External reference
A methodology to support the development of automation function
1990 · External reference
Development of a CAD/CAE environment for the synthesis and the analysis of programmable logic controller
1990 · External reference
An incremental approach to logic controller design with Petri nets
10.1109/21.155947 · 1992 · External reference
A conceptual framework for the design of logic control
10.1049/ise.1993.0021 · 1993 · External reference
An extensible modular tool for modeling distributed control systems
1994 · External reference
A new approach to modular liveness analysis conceived for large logic controller design
10.1109/70.282542 · 1994 · External reference
Unresolved reference
1990 · External reference
Unresolved reference
1989 · External reference
Preservation of liveness in hierarchical Petri nets
10.1002/ecjc.4430730502 · 1990 · External reference
Linear algebraic techniques for place/transition nets
1987 · External reference
Linear algebraic calculation of deadlock and traps
1987 · External reference
A multi-layer CAD system to design logic controller
1992 · External reference
Computer aided design of sequence control by Petri nets
1989 · External reference
Defining the semantics of languages for programmable controllers with synchronous processes
10.1016/0967-0661(93)92106-e · 1993 · External reference
New forms of man-machine interaction
1986 · External reference
Ladder diagram design for programmable controllers
10.1016/0005-1098(89)90008-3 · 1989 · External reference
Unresolved reference
1981 · External reference
Forgotten topics in net theory
1987 · External reference
Unresolved reference
1982 · External reference
Programmable logic controllers and Petri nets
1982 · External reference
A method for stepwise refinement and abstraction of Petri nets
10.1016/0022-0000(83)90029-6 · 1983 · External reference
On the hierarchical modeling, analysis and simulation of FMS with extended Petri nets
10.1109/21.47812 · 1990 · External reference
Etude Comparative de Deux Outils de Rappresentation: GRAFCET et Reseau de Petri
1978 · External reference
Analysis of Petri nets by stepwise refinements
10.1016/0022-0000(79)90050-3 · 1979 · External reference
Nets in production systems
1986 · External reference
Petri net based programmable logic controller
1983 · External reference
Unresolved reference
1988 · External reference
Adaptive design of Petri net controllers for error recovery in automated manufacturing systems
10.1109/21.44011 · 1989 · External reference
A top-down approach to systematic synthesis of Petri nets models for manufacturing systems
1989 · External reference
Hybrid methodology for synthesis of Petri net models for manufacturing systems
10.1109/70.143353 · 1992 · External reference