François Prunet

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