Integration of High-Level Petri Net-Based Formal Methods for the Supervision of Flexible Production Systems

Online Symposium for Electronics Engineers (OSEE)

Armando Walter Colombo

Conference Paper

September 2007

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.

Rate this Content

Please sign in to post comment

Navigate to related information

Most Popular Tech Papers

1	Introduction to ARM
2	High-Speed, Real-Time Recording Systems Handbook, 1st Edition
3	Digital Signal Processing: A Practical Guide (Part 1)
4	Using FPGAs for Trapezoidal Motor Control
5	Organic solar cells and OLEDs--A comparison of two competing approaches
6	An introduction to the Wireless Power Consortium standard and TI's compliant solutions
7	Signaling Rate Versus Distance for Differential Buffers
8	Troubleshooting I2C Bus Protocol
9	LTE Release 9 Technology Introduction
10	Current Sensing Circuit Concepts and Fundamentals

Datasheets.com Parts Search

185 million searchable parts
(please enter a part number or hit search to begin)

FEATURED JOBS Visit our Careers Website

CREATE AN ACCOUNT

Jobs sponsored by