number | title/author |
---|---|
M2-1-1 | Enumerating Minimal Siphons of Petri Net using SAT Solver Tan Lam Pham, Atsushi Ohta, Kohkichi Tsuji , |
M2-1-2 | On Each Condition of Soundness for Acyclic Free Choice Workflow Nets Shingo Yamaguchi, Naoki Nakahara , |
M2-1-3 | Supervisory Control of Concurrent Discrete Event Systems with Local Linear Temporal Logic Specifications Ami Sakakibara, Toshimitsu Ushio , |
M2-1-4 | Toward Formal Analysis of Timed Anonymous Systems Yoshinobu Kawabe, Nobuhiro Ito , |
M2-1-5 | An MILP Approach to Optimal Surveillance over Graphs Mifuyu Kido, Koichi Kobayashi, Yuh Yamashita , |
M2-1-6 | Energy-base Deadlock-free Supervisory Control of Quantitative Discrete Event Systems under Partial Observation Sasinee Pruekprasert, Toshimitsu Ushio , |