The 2nd NII Collaborative Research Meeting

General Information

Date:August 3(Mon.)-4(Tue.), 2015
Place : Room #419 on the 4th floor of Science and Technology Research Building 3, Rokkodai Campus, Kobe University [Campus Map: Building #59]
Address : 1-1 Rokkodai, Nada, Kobe 657-8501, Japan


August 3(Mon.)

16:00 〜 17:00 Invited Talk (1)
Step by step model-checking of Petri nets and time Petri nets using the Roméo tool
Morgan Magnin (École Centrale de Nantes)
17:00 〜 17:15 Break
17:15 〜 18:15 Invited Talk (2)
Analysis techniques for Process Hitting and comparison with an equivalent ASP encoding
Morgan Magnin (École Centrale de Nantes)
19:00 〜 Dinner

August 4(Tue.)

10:00 〜 11:30 Presentation
CASP examples
Mutsunori Banbara (Kobe University)
A SAT-based Method for Computing Elementary Modes in Metabolic Pathways
Takehide Soh (Kobe University)
11:30 〜 11:45 Break
11:45 〜 12:30 Discussion for Collaborative Research Topics
  • SAT based-model checking of timed models (long-term)
  • SAT based-model checking of parametric models (long-term)
  • CASP to analyze dynamic models properties (short-term)
  • Constraint programming and state space computation of time/stopwatch Petri nets (short-term)



Date:August 3, 19:00〜
Placeとけいや (兵庫県神戸市中央区加納町4-7-23, TEL: 078-321-0555)
Participants:Morgan, Alice, Inoue, Tamura, Banbara, Soh

Date: 2015-07-05 21:35:33 JST