Eitemau Tebyg: Pratique séquentielle et réseaux de Pétri /
- Transactions on Petri Nets and Other Models of Concurrency : IX /
- Advanced Course on Petri Nets /
- Coloured Petri Nets : Modelling and Validation of Concurrent Systems /
- Stochastic Petri Nets : Modelling, Stability, Simulation /
- Application and Theory of Petri Nets : 33rd International Conference, PETRI NETS 2012, Hamburg, Germany, June 25-29, 2012 : Proceedings /
- Coordination Models and Languages : 16th IFIP WG 6.1 International Conference, COORDINATION 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014 Berlin, Germany, June 3-5, 2014 : Proceedings /
Pwnc: Control Automático
- Síntesis modular de controladores secuenciales para sistemas a eventos discretos en procesos industriales /
- Neural systems for control /
- Control por modos deslizantes /
- Reporte de estudios de posgrado : maestría en ciencias con especialidad en ingeniería del control /
- Control system design and simulation /
- Using Matlab to Analyze and Design Control Systems /
Pwnc: Redes de Petri
- Pratique séquentielle et réseaux de Pétri /
- Compositional Verification of Concurrent and Real-Time Systems /
- Real-Time Systems : Scheduling, Analysis, and Verification /
- Stochastic Petri Nets : Modelling, Stability, Simulation /
- Análisis de un planificador multi-coordinador basado en modelos de redes de Petri /
- Language and Automata Theory and Applications : 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014 : Proceedings /