François Prunet

Publication Activity (10 Years)

Years Active: 1975-2009
Publications (10 Years): 0

Publications

Vincent Chapurlat, Bernard Kamsu-Foguem, François Prunet
Enterprise model verification and validation: an approach CoRR (2009)
Vincent Chapurlat, Bernard Kamsu-Foguem, François Prunet
A formal verification framework and associated tools for Enterprise Modeling: Application to UEML. Comput. Ind. 57 (2) (2006)
Vincent Chapurlat, Bernard Kamsu-Foguem, François Prunet
Enterprise model verification and validation: an approach. Annu. Rev. Control. 27 (2) (2003)
C. Covès, Didier Crestani, François Prunet
Design and analysis of workflow processes with Petri nets. SMC (1998)
C. Covès, Didier Crestani, François Prunet
How to manage coverability graphs construction: an overview. SMC (1998)
Didier Crestani, C. Covès, François Prunet, D. Chalvet, Merlin Gerin Alès, Vincent Chapurlat, Mireille Larnac, Janine Magnier
User defined multi-criteria added-value for enterprise processes analysis. SMC (1998)
Isabel Demongodin, M. Caradec, François Prunet
Fundamental concepts of analysis in batches Petri nets. SMC (1998)
Marc Le Bissonnais, François Prunet
From manufacturing document requirements to customized authoring and automated publishing framework. ACM SIGSOFT Softw. Eng. Notes 22 (2) (1997)
Abdennour El Rhalibi, François Prunet, C. Durante
From Modelling Using Function Charts for Control Systems to Analysis Using Petri Nets. MASCOTS (1995)
Nathalie Audry, François Prunet
Simulation of Production Systems with the Help of Batches Petri Nets. EUROSIM (1995)
Nathalie Audry, Isabel Demongodin, François Prunet
Modelling of High Throughput Production Lines by Using Generic Models Described in Batches Petri Nets. ICRA (1994)
B. Carriere, C. Cazalot, J. M. Dumas, P. M. Grojean, P. Leroy, François Prunet
A C.A.D. System for Process Control Based upon a Standard. IFIP Congress (1983)
François Prunet, Denis Floutier, J. M. Dumas
Computer aided design of industrial control systems. DAC (1975)