Integration of High-Level Petri Net-Based Formal Methods for the Supervision of Flexible Production Systems
This paper provides an overview of the application of a High-Level Petri Net-Based formal methodology to cover the development life-cycle — from requirements-analysis through design-validation, implementation, and real-time operation — of flexible production systems and their supervisory control systems in an integrated way.
Please disable any pop-up blockers for proper viewing of this Whitepaper.