InterSoft (Slovakia)

Petri nets represent a prominent formal method for modeling distributed systems both visually and with sound mathematics. They are very successful in modeling different workflow processes. In particular, Petri nets can be used to model curricula including causal dependencies of courses, necessary and optional courses etc. Having a Petri net model of single courses and the model of the whole curriculum in a particular field, each run of the Petri net model will represent a possible individual learnflow of a student. In this survey we show how to construct Petri net models of courses, models of the whole curriculum and models of individual learnflows. The presented method is suitable both for planning, management and control of e-learning courses and study programs as well as for classroom courses and study programs.

In this paper we describe design and integration of ICT-based tools for achieving the traceability of information between several steps of collaborative policy modelling process proposed by the OCOPOMO project. This process combines collaborative creation a collaborative creation and analysis of narrative scenarios with agent-based simulation models. The policy model for a given domain is created iteratively using cooperation of several stakeholder groups (decision makers, analysts, companies, civic societies, and the general public). In order to provide the modellers and stakeholders with the correct and case-specific information we have designed the integrated architecture that support sharing and traceability of evidence-based information between simulation models (with rules and agents), conceptual models of the current case and related background data. Therefore, users are able to work with such information in their policy preparing process with the appropriate set of tools.

The paper presents an approach to the semantic modelling and annotation of business processes and information resources, as it was designed within the FP7 ICT EU project SPIKE to support creation and maintenance of short-term business alliances and networked enterprises. A methodology for the development of the resource ontology, as a shareable knowledge model for semantic description of business processes, is proposed. Systematically collected user requirements, conceptual models implied by the selected implementation platform as well as available ontology resources and standards are employed in the ontology creation. The process of semantic annotation is described and illustrated using an example taken from a real application case.