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.