To align representations of law, of implementations of law and of concrete behaviours, we designed a common ground representational model for the three domains, based on the notion of position, building upon Petri nets. This paper reports on work to define subsumption between positional models.
['G. Sileno', 'A. Boer', 'T.M. van Engers']
Bridging Representations of Laws, of Implementations and of Behaviours