This paper presents a real life Petri Net-based framework for integrated and collaborative project management in the Animation and Videogame (A&V) industry. This framework provides an all-in-one modeling, scheduling, and simulation tool. The purpose of the framework is twofold: First to facilitate the configuration (and eventual reconfiguration) of projects and second, provide appropriate analy...

Petri nets are formal models of systems which exhibit concurrent activities. Communication networks, multiprocessor systems, manufacturing systems and distributed databases are simple examples of such systems. As formal models, Petri nets are bipartite directed graphs, in which the two types of vertices represent, in a very general sense, conditions and events. An event can occur only when all ...

Preface The aim of the workflow management is to help business goals to be achieved with high efficiency by means of sequencing work activities and invoking appropriate resources associated to these activities. Therefore, workflow management is both a key technology in supporting business processes and an effective means to realize full or partial automation of a business process. Despite many ...

Coloured Petri nets are Petri nets in which attributes are associated with individual tokens. These attributes are called “colours”. The set of colours is finite. Colors can be modified during transition firings, and the same transition can perform diffcrcn t transformations for tokens of different colours. Colours can thus distinguish tokens, and this allows to “fold” similar subnets of a net ...

In Adaptive Educational Hypermedia Systems (AEHS), we expect that the learning content presentation should be appropriately retrieved from learning object repositories, and dynamically tailored to each learner’s needs. Each learner has a profile, subject to continuous change. The basic components of the learner’s profile include his/her cognitive characteristics, background of knowledge, previo...

We present an approach to the formal verification of real-time embedded systems by using model checking. We address the verification of systems modeled in a timed Petri net representation and introduce a technique for reducing verification complexity. We translate the Petri net based model into timed automata and make use of available model checking tools to prove the correctness of the system ...

A single wafer processing IC fabrication with flexible and distributed configuration is getting more important. The cluster tool is such an IC fabrication equipment. It consists of the cassette module, transport module, and process module. In this paper, the model of a cluster tool is constructed using distributed colored timed Petri net (DCTPN). The emulator and controller of the cluster tool ...

Quantifying the robustness of a real-time system consists in measuring the maximum extension of the timing delays such that the system still satisfies its specification. In this work, we introduce a more precise notion of robustness, measuring the allowed variability of the timing delays in their neighbourhood. We consider here the formalism of time Petri nets extended with inhibitor arcs. We u...

Petri nets provide a powerful abstraction to specify and consequently analyze complex distributed systems. Petri nets can also be used in functioning systems to control processes and to manage the ow of data. RTNet, the software described in this paper, directly embeds a petri net into a distributed system and allows for real-time interaction of the petri net with other parts of the system. RTN...