Show simple item record

Parallélisme et Généricité

dc.contributor.authorHaddad, Serge
HAL ID: 745039
dc.date.accessioned2011-02-01T15:26:49Z
dc.date.available2011-02-01T15:26:49Z
dc.date.issued1993
dc.identifier.urihttps://basepub.dauphine.fr/handle/123456789/5628
dc.language.isofren
dc.subjectHigh-level Petri netsen
dc.subject.ddc004en
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.identifier.citationpages20en
dc.description.sponsorshipprivateouien
dc.subject.ddclabelInformatique généraleen
dc.relation.conftitle1er Congrès biennal de l'AFCETen
dc.relation.confdate1993-06
dc.relation.confcityVersaillesen
dc.relation.confcountryFranceen


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record