A reduction theory for coloured nets

@inproceedings{Haddad1988ART,
  title={A reduction theory for coloured nets},
  author={Serge Haddad},
  booktitle={European Workshop on Applications and Theory in Petri Nets},
  year={1988}
}
This paper presents the generalization for the coloured nets of the most efficient reductions defined by Berthelot for Petri nets. First a methodology of the generalization is given which is independent from the reduction one wants to generalize. Then based on this methodology, we define extensions of the implicit place transformation and the pre and post agglomeration of transitions. For each reduction we prove that the reduced net has exactly the same properties as the original net. Finally… CONTINUE READING

From This Paper

Topics from this paper.
43 Citations
15 References
Similar Papers

References

Publications referenced by this paper.
Showing 1-10 of 15 references

GENRICH : Equivalence transformations of PrT-nets.Ninth european workshop on applications and theory of Petri nets

  • H. J. Gen
  • 1988
2 Excerpts

Generalization of reduction theory to coloured nets

  • S. HADDAD
  • Ninth european workshop on applications and…
  • 1988

GIRAULT: Algebraic structure of flows of a regular net

  • C. S. HADDAD
  • Seventh european workshop on applications and…
  • 1987

Un calcul d'une base de flots pour les réseaux colorés. Deuxième colloque C3 Angoulême, France,1987

  • S. HADDAD
  • 1987

Une catégorie régulière de réseau de Petri de haut niveau: définition, propriétés et réductions

  • S. HADDAD
  • Application à la validation de systèmes…
  • 1987

LAUTENBACH : System modelling with high - level Petri nets

  • H. J. GENRICH, K.
  • Theoretical computer science
  • 1986

Generalized inverses and the calculation of symbolic invariants for coloured Petri nets

  • J. MARTINEZ, P. LADET, H. ALLA
  • Technique et science informatique
  • 1985

Packages for validating discrete production systems modeled with Petri nets

  • J M COLOM, J MARTINEZ
  • 1983

PAGNONI : Invariance and duality in predicate transition nets and in coloured nets

  • M. RAUHAMAA, K. LAUTENBACH, A.
  • 1982

Similar Papers

Loading similar papers…