Computer aided design of industrial control systems. - François Prunet; Denis Floutier; J. M. Dumas (DAC, 1975)

A C.A.D. System for Process Control Based upon a Standard. - B. Carriere; C. Cazalot; J. M. Dumas; P. M. Grojean; P. Leroy; François Prunet (IFIP Congress, 1983)

Modelling of High Throughput Production Lines by Using Generic Models Described in Batches Petri Nets. - Nathalie Audry; Isabel Demongodin; François Prunet (ICRA, 1994)

Simulation of Production Systems with the Help of Batches Petri Nets. - Nathalie Audry; François Prunet (EUROSIM, 1995)

From Modelling Using Function Charts for Control Systems to Analysis Using Petri Nets. - Abdennour El Rhalibi; François Prunet; C. Durante (MASCOTS, 1995)

From manufacturing document requirements to customized authoring and automated publishing framework. - Marc Le Bissonnais; François Prunet (ACM SIGSOFT Softw. Eng. Notes, 1997)

Design and analysis of workflow processes with Petri nets. - C. Covès; Didier Crestani; François Prunet (SMC, 1998)

How to manage coverability graphs construction: an overview. - C. Covès; Didier Crestani; François Prunet (SMC, 1998)

User defined multi-criteria added-value for enterprise processes analysis. - Didier Crestani; C. Covès; François Prunet; D. Chalvet; Merlin Gerin Alès; Vincent Chapurlat; Mireille Larnac; Janine Magnier (SMC, 1998)

Fundamental concepts of analysis in batches Petri nets. - Isabel Demongodin; M. Caradec; François Prunet (SMC, 1998)

Enterprise model verification and validation: an approach. - Vincent Chapurlat; Bernard Kamsu-Foguem; François Prunet (Annu. Rev. Control., 2003)

A formal verification framework and associated tools for Enterprise Modeling: Application to UEML. - Vincent Chapurlat; Bernard Kamsu-Foguem; François Prunet (Comput. Ind., 2006)