Creation Process with Linear Logic

 An authoring tool gives the storyworld and the narrative program.

It is then transformed into a sequent of Linear Logic. An automatic translator transforms the sequent into a Petri net. Finally the Petri nets performs the execution of the model and can interact with the Interactive Storytelling Rendering.