Show simple item record

Generative families of positive invariants in coloured nets sub-classes

dc.contributor.authorPeyre, Jean-François
dc.contributor.authorCouvreur, Jean-Michel
dc.contributor.authorHaddad, Serge
HAL ID: 745039
dc.date.accessioned2010-12-07T09:52:50Z
dc.date.available2010-12-07T09:52:50Z
dc.date.issued1993
dc.identifier.urihttps://basepub.dauphine.fr/handle/123456789/5248
dc.descriptionLa version de travail de cette communication attachée est intitulée "Computation of Generative Families of Positive Semi-Flows in Two Types of Coloured Nets".
dc.language.isoenen
dc.subjectColoured netsen
dc.subjectstructural analysisen
dc.subjectpositive flows computationen
dc.subjectFarkas' algorithmen
dc.subject.ddc004en
dc.titleGenerative families of positive invariants in coloured nets sub-classesen
dc.typeCommunication / Conférence
dc.description.abstractenIn Petri nets and high-level nets, positive flows provide additional informations to the ones given by the flows. For instance with the help of positive flows one decides the structural boundeness of the nets and one detects the structural implicit places. Up to now, no computation of positive flows has been developed for coloured nets. In this paper, we present a computation of positive flows for two basic families of coloured nets: unary regular nets and unary predicate/transition nets. At first we show that these two computations are reducible to the resolution of the parametrized equation A.X 1 = ... = A.X n where A is a matrix, Xi, the unknowns are vectors and n is the parameter. Then we present an algorithm to solve this equation. At last we show how the solutions of the parametrized equation can be used to solve the complete equations system for unary regular nets and unary predicate/transition nets.en
dc.identifier.citationpages51-70en
dc.relation.ispartofseriestitleLecture Notes in Computer Science
dc.relation.ispartofseriesnumber674
dc.relation.ispartoftitleAdvances in Petri Nets 1993, Papers from the 12th International Conference on Applications and Theory of Petri Nets, Gjern, Denmark, June 1991en
dc.relation.ispartofeditorRozenberg, Grzegorz
dc.relation.ispartofpublnameSpringeren
dc.relation.ispartofpublcityBerlinen
dc.relation.ispartofdate1993
dc.relation.ispartofpages457en
dc.relation.ispartofurlhttp://dx.doi.org/10.1007/3-540-56689-9en
dc.description.sponsorshipprivateouien
dc.subject.ddclabelInformatique généraleen
dc.relation.ispartofisbn978-3-540-56689-2en
dc.relation.conftitle12th International Conference on applications and theory of Petri nets (APN 1991)en
dc.relation.confdate1991-06
dc.relation.confcityGjernen
dc.relation.confcountryDanemarken
dc.identifier.doihttp://dx.doi.org/10.1007/3-540-56689-9_39


Files in this item

Thumbnail
Name:
computation_generative.PDF
Size:
412.8Kb
Format:
PDF
View/Open

This item appears in the following Collection(s)

Show simple item record