A Reduction Theory for Coloured Nets-Reference-Cited by-同舟云学术

A Reduction Theory for Coloured Nets

Published:1991 Issue: Volume: Page:399-425
ISSN:
Container-title:High-level Petri Nets
language:
Short-container-title:

Author:

Haddad S.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-84524-6_14.pdf

Reference19 articles.

1. C. ANDRE: Systèmes à évolutions parallèles: Modélisation par réseaux de Petri à capacités et analyse par abstraction. Thèse d’état. Université de Nice (1981)

2. J.L. BAER, C.GIRAULT, G. GARDARIN, G. ROUCAIROL: The two step comitment protocol: modeling specification and proof methodology. Fifth international conference on software enginering IEEE/ACM San diego pp 363–373 (1981)

3. G. BERTHELOT: Transformation et analyse de réseaux de Petri, applications aux protocoles. Thèse d’état. Université P. et M. Curie. Paris (1983)

4. G. BERTHELOT: Checking properties of nets using transformations. LNCS 222. Advances in Petri nets 85, G. Rozenberg ed, Springer-Verlag 1986.

5. G. BERTHELOT: Transformations and decompositions of nets. LNCS 254. Advances in Petri nets 86, G. Rozenberg ed, Springer-Verlag 1987.

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

1. Pre- and Post-agglomerations for LTL Model Checking;Lecture Notes in Computer Science;2000

2. Automatic Veri.cation of Concurrent Ada Programs;Reliable Software Technologies — Ada-Europe’ 99;1999

3. Modelling and analysis of distributed program execution in BETA using coloured Petri Nets;Application and Theory of Petri Nets 1996;1996

4. An efficient algorithm for finding structural deadlocks in colored Petri nets;Application and Theory of Petri Nets 1993;1993