The Synthesis Problem of Netcharts

A netchart is basically a Petri net whose places are located at some process and whose transitions are labeled by message sequence charts (MSCs). Two recent papers showed independently that any globally-cooperative high-level MSC corresponds to the behaviors of some communicating finite-state machine -- or equivalently a netchart. These difficult results rely either on Thomas' graph acceptors or Zielonka's construction of asynchronous automata. In this paper we give a direct and self-contained synthesis of netcharts from globally-cooperative high-level MSCs by means of a simpler unfolding procedure.

• Type: Conference
• Year: 2006
• Where: APN
• Authors: Nicolas Baudru, Rémi Morin
• Keywords: APN 2006, Artificial Intelligence, Message Sequence Charts, Petri Net, Simpler Unfolding Procedure