Towards a multi-agent interactive learning environment oriented to the Petri net domain

This paper focus on results related to the design of a model of a Computer-based Interactive Learning Environment oriented to the Petri net domain, named PN-M. This environment adopt a a multi-agent approach based on a view about the domain knowledge structure as defined in the MATHEMA interactive learning environment. PN-M is focused on problem solving. Hence in this paper we introduce the domain of the problem, that is the design of interlocking Petri models for track vehicle systems.