Formal Methods in Manufacturing
Latest Publications

TOTAL DOCUMENTS

23
(FIVE YEARS 0)

H-INDEX

0
(FIVE YEARS 0)

Published By CRC Press

9781315216140
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Supervisory Control of Manufacturing Systems Using Petri Nets *

2018 ◽  
pp. 259-294
Author(s):  
Carla Seatzu ◽  
Xiaolan Xie
Keyword(s):  
Petri Nets ◽  
Supervisory Control ◽  
Manufacturing Systems

Structural Deadlock Prevention Policies for Flexible Manufacturing Systems

2018 ◽  
pp. 197-228
Author(s):  
Juan-Pablo López-Grao ◽  
José-Manuel Colom ◽  
Fernando Tricas
Keyword(s):  
Flexible Manufacturing ◽  
Flexible Manufacturing Systems ◽  
Manufacturing Systems ◽  
Deadlock Prevention ◽  
Prevention Policies

Modelling Manufacturing Systems and Inventory Control Systems with Hybrid Petri Nets

2018 ◽  
pp. 75-104
Author(s):  
Maria Paola Cabasino ◽  
Alessandro Giua ◽  
Carla Seatzu
Keyword(s):  
Petri Nets ◽  
Control Systems ◽  
Inventory Control ◽  
Manufacturing Systems ◽  
Hybrid Petri Nets

Fault Diagnosis in Petri Nets

2018 ◽  
pp. 627-652
Author(s):  
Elvia Ruiz-Beltrán ◽  
Antonio Ramirez-Treviño ◽  
J.L. Orozco-Mora
Keyword(s):  
Fault Diagnosis ◽  
Petri Nets

Lean Buffer Design in Production Systems

2018 ◽  
pp. 477-502
Author(s):  
Jingshan Li ◽  
Semyon M. Meerkov ◽  
Xiang Zhong
Keyword(s):  
Production Systems ◽  
Buffer Design

Supervisory Control of Manufacturing Systems Using Extended Finite Automata

2018 ◽  
pp. 295-314
Author(s):  
Martin Fabian ◽  
Zhennan Fei ◽  
Sajed Miremadi ◽  
Bengt Lennartson ◽  
Knut Åkesson
Keyword(s):  
Supervisory Control ◽  
Manufacturing Systems ◽  
Finite Automata

Hybrid Models for the Control and Optimization of Manufacturing Systems

2018 ◽  
pp. 105-134
Author(s):  
Christos G. Cassandras ◽  
Chen Yao
Keyword(s):  
Manufacturing Systems ◽  
Hybrid Models

Scheduling of Semiconductor Manufacturing Systems Using Petri Nets

2018 ◽  
pp. 553-570
Author(s):  
Fei Qiao ◽  
Zhou MengChu
Keyword(s):  
Petri Nets ◽  
Semiconductor Manufacturing ◽  
Manufacturing Systems
Load More ...
Sign in / Sign up

Export Citation Format

Share Document