Login / Signup
Pengyu Ma
Publication Activity (10 Years)
Years Active: 2022-2022
Publications (10 Years): 1
Top Topics
Real Time Control
Manufacturing Systems
Petri Net
Top Venues
Comput. Informatics
</>
Publications
</>
Chengzong Li
,
Yongyao Li
,
Yufeng Chen
,
Naiqi Wu
,
Zhiwu Li
,
Pengyu Ma
,
Husam Kaid
Synthesis of Liveness-Enforcing Petri Net Supervisors Based on a Think-Globally-Act-\Łocally Approach and a Structurally Minimal Method for Flexible Manufacturing Systems.
Comput. Informatics
41 (5) (2022)