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 *

Formal Methods in Manufacturing ◽

10.1201/9781315216140-9 ◽

2018 ◽

pp. 259-294

Author(s):

Carla Seatzu ◽

Xiaolan Xie

Keyword(s):

Supervisory Control ◽

Manufacturing Systems

Download Full-text

Structural Deadlock Prevention Policies for Flexible Manufacturing Systems

Formal Methods in Manufacturing ◽

10.1201/9781315216140-7 ◽

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

Download Full-text

Modelling Manufacturing Systems and Inventory Control Systems with Hybrid Petri Nets

Formal Methods in Manufacturing ◽

10.1201/9781315216140-3 ◽

2018 ◽

pp. 75-104

Author(s):

Maria Paola Cabasino ◽

Alessandro Giua ◽

Carla Seatzu

Keyword(s):

Control Systems ◽

Inventory Control ◽

Manufacturing Systems ◽

Hybrid Petri Nets

Download Full-text

Fault Diagnosis in Petri Nets

Formal Methods in Manufacturing ◽

10.1201/9781315216140-22 ◽

2018 ◽

pp. 627-652

Author(s):

Elvia Ruiz-Beltrán ◽

Antonio Ramirez-Treviño ◽

J.L. Orozco-Mora

Keyword(s):

Fault Diagnosis ◽

Download Full-text

Minimizing Total Place Capacity under Throughput Constraint for a Weighted Timed Event Graph

Formal Methods in Manufacturing ◽

10.1201/9781315216140-18 ◽

2018 ◽

pp. 527-552

Author(s):

Alix Munier Kordon

Download Full-text

Lean Buffer Design in Production Systems

Formal Methods in Manufacturing ◽

10.1201/9781315216140-16 ◽

2018 ◽

pp. 477-502

Author(s):

Jingshan Li ◽

Semyon M. Meerkov ◽

Xiang Zhong

Keyword(s):

Production Systems ◽

Download Full-text

Inference-Based and Modular Decentralized Control of Manufacturing Systems with Event-Driven Dynamics

Formal Methods in Manufacturing ◽

10.1201/9781315216140-11 ◽

2018 ◽

pp. 315-342

Author(s):

Shigemasa Takai ◽

Ratnesh Kumar

Keyword(s):

Decentralized Control ◽

Manufacturing Systems ◽

Download Full-text

Supervisory Control of Manufacturing Systems Using Extended Finite Automata

Formal Methods in Manufacturing ◽

10.1201/9781315216140-10 ◽

2018 ◽

pp. 295-314

Author(s):

Martin Fabian ◽

Zhennan Fei ◽

Sajed Miremadi ◽

Bengt Lennartson ◽

Knut Åkesson

Keyword(s):

Supervisory Control ◽

Manufacturing Systems ◽

Finite Automata

Download Full-text

Hybrid Models for the Control and Optimization of Manufacturing Systems

Formal Methods in Manufacturing ◽

10.1201/9781315216140-4 ◽

2018 ◽

pp. 105-134

Author(s):

Christos G. Cassandras ◽

Chen Yao

Keyword(s):

Manufacturing Systems ◽

Download Full-text

Scheduling of Semiconductor Manufacturing Systems Using Petri Nets

Formal Methods in Manufacturing ◽

10.1201/9781315216140-19 ◽

2018 ◽

pp. 553-570

Author(s):

Fei Qiao ◽

Zhou MengChu

Keyword(s):

Semiconductor Manufacturing ◽

Manufacturing Systems

Download Full-text