Abstract
No public abstract is available from the verified source records.
Luca Ferrarini
Abstract
Authors
Institutions
No ROR-resolved institution is linked to this work yet.
Provenance
crossref
Confidence 100%
unpaywall
Confidence 95%
datacite
Confidence 0%
No local reference links have been materialized yet.
No local citing links have been materialized yet.
Unresolved referenced work
1979
Principles and engineering process control with Petri nets
10.1109/9.381 · 1988
Convex geometry and semiflow in P/T nets
1989
Improving the linearly based characterization of P/T nets
1989
Implementing a Petri net controller for a machining workstation
1987
Modelling of dynamic systems by Petri nets
1991
A methodology to support the development of automation function
1990
Development of a CAD/CAE environment for the synthesis and the analysis of programmable logic controller
1990
An incremental approach to logic controller design with Petri nets
10.1109/21.155947 · 1992
A conceptual framework for the design of logic control
10.1049/ise.1993.0021 · 1993
An extensible modular tool for modeling distributed control systems
1994
A new approach to modular liveness analysis conceived for large logic controller design
10.1109/70.282542 · 1994
Unresolved referenced work
1990
Unresolved referenced work
1989
Preservation of liveness in hierarchical Petri nets
10.1002/ecjc.4430730502 · 1990
Linear algebraic techniques for place/transition nets
1987
Linear algebraic calculation of deadlock and traps
1987
A multi-layer CAD system to design logic controller
1992
Computer aided design of sequence control by Petri nets
1989
Defining the semantics of languages for programmable controllers with synchronous processes
10.1016/0967-0661(93)92106-e · 1993
New forms of man-machine interaction
1986
Ladder diagram design for programmable controllers
10.1016/0005-1098(89)90008-3 · 1989
Unresolved referenced work
1981
Forgotten topics in net theory
1987
Unresolved referenced work
1982
Programmable logic controllers and Petri nets
1982
A method for stepwise refinement and abstraction of Petri nets
10.1016/0022-0000(83)90029-6 · 1983
On the hierarchical modeling, analysis and simulation of FMS with extended Petri nets
10.1109/21.47812 · 1990
Etude Comparative de Deux Outils de Rappresentation: GRAFCET et Reseau de Petri
1978
Analysis of Petri nets by stepwise refinements
10.1016/0022-0000(79)90050-3 · 1979
Nets in production systems
1986
Petri net based programmable logic controller
1983
Unresolved referenced work
1988
Adaptive design of Petri net controllers for error recovery in automated manufacturing systems
10.1109/21.44011 · 1989
A top-down approach to systematic synthesis of Petri nets models for manufacturing systems
1989
Hybrid methodology for synthesis of Petri net models for manufacturing systems
10.1109/70.143353 · 1992
No additional external references are available.