Industrial Information Technology - Formal Methods in Manufacturing
Latest Publications

TOTAL DOCUMENTS

29

(FIVE YEARS 0)

H-INDEX

3

(FIVE YEARS 0)

Published By CRC Press

9781466561557, 9781466561564

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Fault Diagnosis in Petri Nets

Industrial Information Technology - Formal Methods in Manufacturing ◽

10.1201/b16529-27 ◽

2014 ◽

pp. 627-651

Author(s):

Elvia Ruiz-Beltrán ◽

Antonio Ramirez-Treviño ◽

J Orozco-Mora

Keyword(s):

Fault Diagnosis ◽

Download Full-text

Modelling Manufacturing Systems and Inventory Control Systems with Hybrid Petri Nets

Industrial Information Technology - Formal Methods in Manufacturing ◽

10.1201/b16529-5 ◽

2014 ◽

pp. 75-103

Author(s):

Maria Cabasino ◽

Alessandro Giua ◽

Carla Seatzu

Keyword(s):

Control Systems ◽

Inventory Control ◽

Manufacturing Systems ◽

Hybrid Petri Nets

Download Full-text

Index

Industrial Information Technology - Formal Methods in Manufacturing ◽

10.1201/b16529-29 ◽

2014 ◽

pp. 683-698

Download Full-text

Model Synthesis, Planning, Scheduling and Simulation of Health-Care Delivery Systems Using Petri Nets

Industrial Information Technology - Formal Methods in Manufacturing ◽

10.1201/b16529-24 ◽

2014 ◽

pp. 571-598

Author(s):

Vincent Augusto

Keyword(s):

Health Care ◽

Health Care Delivery ◽

Care Delivery ◽

Delivery Systems ◽

Model Synthesis ◽

Synthesis Planning ◽

Health Care Delivery Systems

Download Full-text

Performance Evaluation of Flexible Manufacturing Systems with Timed Process Algebra

Industrial Information Technology - Formal Methods in Manufacturing ◽

10.1201/b16529-19 ◽

2014 ◽

pp. 453-475

Author(s):

María Ruiz ◽

Diego Cazorla ◽

Fernando Cuartero ◽

Hermenegilda Macia

Keyword(s):

Performance Evaluation ◽

Flexible Manufacturing ◽

Flexible Manufacturing Systems ◽

Manufacturing Systems ◽

Process Algebra

Download Full-text

Performance Evaluation of Flexible Manufacturing Systems by Coloured Timed Petri Nets and Timed State Space Generation

Industrial Information Technology - Formal Methods in Manufacturing ◽

10.1201/b16529-17 ◽

2014 ◽

pp. 381-408

Author(s):

Gasper Mušič ◽

Liana Napalkova ◽

Miguel Piera

Keyword(s):

Performance Evaluation ◽

State Space ◽

Flexible Manufacturing ◽

Flexible Manufacturing Systems ◽

Manufacturing Systems ◽

Timed Petri Nets ◽

State Space Generation

Download Full-text

Modelling Manufacturing Systems with Place/Transition Nets and Timed Petri Nets

Industrial Information Technology - Formal Methods in Manufacturing ◽

10.1201/b16529-3 ◽

2014 ◽

pp. 3-27 ◽

Author(s):

Maria Cabasino ◽

Mariagrazia Dotoli ◽

Carla Seatzu

Keyword(s):

Manufacturing Systems ◽

Timed Petri Nets

Download Full-text

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

Industrial Information Technology - Formal Methods in Manufacturing ◽

10.1201/b16529-14 ◽

2014 ◽

pp. 315-341

Author(s):

Shigemasa Takai ◽

Ratnesh Kumar

Keyword(s):

Decentralized Control ◽

Manufacturing Systems ◽

Download Full-text

Supervisory Control of Manufacturing Systems Using Extended Finite Automata

Industrial Information Technology - Formal Methods in Manufacturing ◽

10.1201/b16529-13 ◽

2014 ◽

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

Deadlock Avoidance Policies for Automated Manufacturing Systems Using Finite State Automata

Industrial Information Technology - Formal Methods in Manufacturing ◽

10.1201/b16529-9 ◽

2014 ◽

pp. 169-195 ◽

Author(s):

Spyros Reveliotis ◽

Ahmed Nazeem

Keyword(s):

Manufacturing Systems ◽

Deadlock Avoidance ◽

Finite State Automata ◽

Automated Manufacturing ◽

Automated Manufacturing Systems ◽

Download Full-text