Show simple item record

dc.contributor.authorHaddad, Serge
HAL ID: 745039
dc.subjectHigh-level Petri netsen
dc.titleParallélisme et Généricitéen
dc.typeCommunication / Conférence
dc.description.abstractenThe components of many parallel applications (processes, resources, communication links .... ) can be grouped into classes of objects with a similar behaviour. These applications are often described in a generic fashion by specifying the behaviour of an item of each class independantly of its cardinality. This paper handles specification, verification and prototyping methods of these applications. At first, we will outline the drawbacks of the current specification languages and we will develop a new language combining the formal description features with the ones of the object approach. Then we will point out the interest of High-level Petri Nets as a semantics for such a language since they provide numerours verification algorithms. At last, we will overview the prototyping techniques based on High-level Petri Nets which aim at obtaining a maximal degree of parallelism and and fulfilling the requirements of a target architecture.en
dc.subject.ddclabelInformatique généraleen
dc.relation.conftitle1er Congrès biennal de l'AFCETen

Files in this item


There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record