The theory of regions and the algorithms for synthesizing a Petri net model from a transition system, which are based on this theory, have interesting practical applications
This paper presents an approach for interaction design based on the specificity of the information involved in the interaction. The contribution is intended for application design...