Algebraic structure of flows of a regular coloured net-Reference-Cited by-同舟云学术

Algebraic structure of flows of a regular coloured net

Published:1987 Issue: Volume: Page:73-88
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Haddad Serge,Girault Claude

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-18086-9_20

Reference16 articles.

1. H. ALLA, P. LADET, J. MARTINEZ, M. SILVA: Modelling and validation of complex systems by coloured Petri nets. Fifth european workshop on applications and theory of Petri nets. Aarhus, Denmark (1984)

2. G. BERTHELOT: Transformation et analyse de réseaux de Petri, applications aux protocoles. Thèse d'etat. Université Pierre et Marie Curie. Paris (1983)

3. G.W. BRAMS: Réseaux de Petri. Théorie et pratique. Masson editeur, Paris (1983)

4. H.J. GENRICH, K. LAUTENBACH: System modelling with high-level Petri nets, Theoretical computer science 13 (1981)

5. H.J. GENRICH, K. LAUTENBACH: S-invariance in predicate transition nets. Third european workshop on applications and theory of Petri nets. Varenne Italy (1982)

Cited by 7 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A Simple Positive Flows Computation Algorithm for a Large Subclass of Colored Nets;Lecture Notes in Computer Science;2007

2. Generative families of positive invariants in Coloured nets sub-classes;Advances in Petri Nets 1993;1993

3. Résolution paramétrée de familles de systèmes linéaires;RAIRO - Operations Research;1992

4. Analysing Nets by the Invariant Method;High-level Petri Nets;1991

5. S-CORT®: A method for the development of electronic payment systems;Lecture Notes in Computer Science;1990