Scenario analysis based on linear logic
Frédéric Collé, Ronan Champagnat, Armelle Prigent · 2005
This paper deals with game analysis. We begin by the proposal of a terminology relevant to game scenario. Then, we propose an approach dedicated to analyze game scenarii. This approach consists in expressing a scenario by using a fragment of linear logic. This model is then translated into a Petri net model. This model allows us to generate the possible narratives for the given scenario that are at last analyzed. Morever, in addition to usual provable properties such as liveness and safety properties, we propose a new class of properties establishing conclusions with respect to the scenario relevance.