2011
Qu'est ce qu'un bon modèle?
Bull. dInformatique Approfondie et Appl., 2011
2010
Bonnes propriétés et invariants d'un réseau de petri.
Bull. dInformatique Approfondie et Appl., 2010
2009
Exemple des lecteurs et des écrivains. spécifications.
Bull. dInformatique Approfondie et Appl., 2009
Définitions formelles des réseaux de petri.
Bull. dInformatique Approfondie et Appl., 2009
Exemple du photographe - Pas 1: Le réseau de Petri vu comme un ensemble d'automates communicants.
Bull. dInformatique Approfondie et Appl., 2009
Introduction aux Réseaux de Petri.
Bull. dInformatique Approfondie et Appl., 2009
Génèse de la théorie des Réseaux de Petri 1962-1973.
Bull. dInformatique Approfondie et Appl., 2009
2008
Real time scheduling of Workflow Management Systems based on a p-time Petri net model with hybrid resources.
Simul. Model. Pract. Theory, 2008
2006
Fuzzy continuous resource allocation mechanisms in workflow management systems.
Proceedings of the 2006 IEEE International Conference on Information Reuse and Integration, 2006
2005
A New Graph of Classes for the Preservation of Quantitative Temporal Constraints.
Proceedings of the Automated Technology for Verification and Analysis, 2005
2004
Critical scenarios derivation methodology for mechatronic systems.
Reliab. Eng. Syst. Saf., 2004
2003
Differential Predicate Transition Petri Nets and Objects, an Aid for Proving Properties in Hybrid Systems.
Proceedings of the IFAC Conference on Analysis and Design of Hybrid Systems, 2003
2001
Modeling, Simulation and Analysis of Batch Production Systems.
Discret. Event Dyn. Syst., 2001
Rapid and modular prototyping-based Petri nets and distributed simulation for manufacturing systems.
Appl. Math. Comput., 2001
Reachability and Temporal Conflicts in t-Time Petri Nets.
Proceedings of the 9th International Workshop on Petri Nets and Performance Models, 2001
2000
Real time scheduling of batch systems.
Simul. Pract. Theory, 2000
1999
Possibilistic Petri nets.
IEEE Trans. Syst. Man Cybern. Part B, 1999
Scenario durations characterization of t-timed Petri nets using linear logic.
Proceedings of the 8th International Workshop on Petri Nets and Performance Models, 1999
1998
Scheduling batch systems using a token player algorithm.
Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, 1998
1997
Fuzzy Petri net-based programmable logic controller.
IEEE Trans. Syst. Man Cybern. Part B, 1997
Some Issues About Petri Net Application to Manufacturing and Process Supervisory Control.
Proceedings of the Application and Theory of Petri Nets 1997, 1997
1996
Petri Nets and Production Systems.
Proceedings of the Lectures on Petri Nets II: Applications, 1996
1990
Software Implementation of Petri nets and compilation of rule-based systems.
Proceedings of the Advances in Petri Nets 1991, 1990
1989
Petri nets with uncertain markings.
Proceedings of the Advances in Petri Nets 1990 [10th International Conference on Applications and Theory of Petri Nets, 1989
1988
Petri nets and flexible manufacturing.
Proceedings of the Advances in Petri Nets 1989, 1988
1987
Joining Petri nets and knowledge based systems for monitoring purposes.
Proceedings of the 1987 IEEE International Conference on Robotics and Automation, Raleigh, North Carolina, USA, March 31, 1987
1986
Nets in Production Systems.
Proceedings of the Petri Nets: Central Models and Their Properties, 1986
1984
PSI: A Petri net based simulator for flexible manufacturing systems.
Proceedings of the Advances in Petri Nets 1984, 1984
1982
Control of Flexible Production Systems and Petri Nets.
Proceedings of the Applications and Theory of Petri Nets, 1982
1981
Task Synchronization in Distributed Real Time Control Systems.
Proceedings of the IEEE Real-Time Systems Symposium, 1981
Petri Nets and Reliable Real Time Systems.
Proceedings of the Application and Theory of Petri Nets, 1981
Overview on Topic 6: Reliability and Recovery Issues.
Proceedings of the Application and Theory of Petri Nets, 1981
1979
Analysis of Petri Nets by Stepwise Refinements.
J. Comput. Syst. Sci., 1979
1976
Petri nets as a common tool for design verification and hardware simulation.
Proceedings of the 13th Design Automation Conference, 1976