Login / Signup

Synthesis of Liveness-Enforcing Petri Net Supervisors Based on a Think-Globally-Act-\Łocally Approach and a Structurally Minimal Method for Flexible Manufacturing Systems.

Chengzong LiYongyao LiYufeng ChenNaiqi WuZhiwu LiPengyu MaHusam Kaid
Published in: Comput. Informatics (2022)
Keyphrases
  • petri net
  • petri net model
  • real time
  • manufacturing systems
  • flexible manufacturing systems
  • decision making
  • service composition
  • stochastic petri net
  • knowledge base
  • cooperative
  • dynamic programming
  • real time control