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

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

Supervisory Control of Manufacturing Systems Using Extended Finite Automata

2014 ◽  
pp. 295-314 ◽  
Author(s):  
Martin Fabian ◽  
Zhennan Fei ◽  
Sajed Miremadi ◽  
Bengt Lennartson ◽  
Knut Åkesson
Keyword(s):  
Supervisory Control ◽  
Manufacturing Systems ◽  
Finite Automata
Load More ...
Sign in / Sign up

Export Citation Format

Share Document