Application of Petri Nets on the Execution of IMS Learning Design Documents

摘要

In this work we present a Petri net-based approach for modelling the dynamic behavior of units of learning which are level A compliant with the IMS LD specification. The objective is to provide a formal and explicit representation of IMS LD operational semantics. The Petri net models defined are directly interpretable by Petri net engines thus decoupling units of learning behavior from their implementation and allowing consistency checking of the learning flow.