Checking properties of nets using transformations-Reference-Cited by-同舟云学术

Checking properties of nets using transformations

Published: Issue: Volume: Page:19-40
ISSN:
Container-title:Advances in Petri Nets 1985
language:
Short-container-title:

Author:

Berthelot G.,Lri-Iie

Publisher

Springer-Verlag

Link

http://link.springer.com/content/pdf/10.1007/BFb0016204.pdf

Reference16 articles.

1. C.André "Systèmes à évolutions parallèles: modélisation par réseaux de petri à capacité et analyse par abstraction" Thèse d'état, Université de Nice, February 1981

2. G.Berthelot "vérification de réseaux de Petri" Thèse de troisième cycle, Université Paris 6, 12 January 1978

3. G.Berthelot, R.Terrat "Petri nets theory for correctness of protocols" IEEE trans. on Com. vol. COM 30 n.12, December 1982

4. G.Berthelot "Transformations et analyse de réseaux de Petri. Application aux protocoles" Thèse d'état, Université Paris 6, June 1983

5. G.V.Bochmann, J.Gecsei "A unified method for the specification and verification of protocols" IFIP Congress, Toronto, August 1977

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

1. Go2Pins: a framework for the LTL verification of Go programs (extended version);International Journal on Software Tools for Technology Transfer;2023-01-06

2. LTL Under Reductions with Weaker Conditions Than Stutter Invariance;Formal Techniques for Distributed Objects, Components, and Systems;2022

3. Reduction Using Induced Subnets to Systematically Prove Properties for Free-Choice Nets;Application and Theory of Petri Nets and Concurrency;2021

4. Structural Reductions Revisited;Application and Theory of Petri Nets and Concurrency;2020

5. Counting Petri net markings from reduction equations;International Journal on Software Tools for Technology Transfer;2019-04-30