12 datasets found

26 pages

International audience

In this paper we address the issues of modelling and verification of concurren- t systems subject to dynamic changes using Petri net formalisms. As far as the...

We introduce a class of high level Petri nets, called reconfigurable nets, that can dynamically modify their own structure by rewriting some of their components....

Petri nets are a well-known and intensively studied model of concurrency often used to specify distributed or parallel systems. Vector addition systems with states are...

This paper is devoted to the behavior evaluation and management of non-cyclic discrete systems and in particular manufacturing systems. We introduce a special type of...

We propose an extension of visibly pushdown automata by means of weights (represented as positive integers) associated with transitions, called visi- bly pushdown...

Version reconstituée à partir de fichiers sauvegardés, la version de soutenance est archivée imprimée à la bibliothèque de l'école des Mines de Paris sous la cote EMP 142.001...

Cette version est reconstituée à partir de fichiers sauvegardés mais n'est pas exactement la version de soutenance dont les exemplaires imprimés sont conservés à la bibliothèque...

Dataflow programming models are well-suited to program many-core streaming applications. However, many streaming applications have a dynamic behavior. To capture this...

International audience

International audience