François Prunet

According to our database, François Prunet authored at least 12 papers between 1975 and 2006.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2006

A formal verification framework and associated tools for Enterprise Modeling: Application to UEML.

Vincent Chapurlat, Bernard Kamsu-Foguem, François Prunet

Comput. Ind., 2006

2003

Enterprise model verification and validation: an approach.

Vincent Chapurlat, Bernard Kamsu-Foguem, François Prunet

Annu. Rev. Control., 2003

1998

Fundamental concepts of analysis in batches Petri nets.

Isabel Demongodin, M. Caradec, François Prunet

Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, 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

Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, 1998

How to manage coverability graphs construction: an overview.

C. Covès, Didier Crestani, François Prunet

Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, 1998

Design and analysis of workflow processes with Petri nets.

C. Covès, Didier Crestani, François Prunet

Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, 1998

1997

From manufacturing document requirements to customized authoring and automated publishing framework.

Marc Le Bissonnais, François Prunet

ACM SIGSOFT Softw. Eng. Notes, 1997

1995

From Modelling Using Function Charts for Control Systems to Analysis Using Petri Nets.

Abdennour El Rhalibi, François Prunet, C. Durante

Proceedings of the MASCOTS '95, 1995

Simulation of Production Systems with the Help of Batches Petri Nets.

Nathalie Audry, François Prunet

Proceedings of the EUROSIM'96, 1995

1994

Modelling of High Throughput Production Lines by Using Generic Models Described in Batches Petri Nets.

Nathalie Audry, Isabel Demongodin, François Prunet

Proceedings of the 1994 International Conference on Robotics and Automation, 1994

1983

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

Proceedings of the Information Processing 83, 1983

1975

Computer aided design of industrial control systems.

François Prunet, Denis Floutier, J. M. Dumas

Proceedings of the 12th Design Automation Conference, 1975