Petrireve: Proving Petri net properties with rewriting systems
- 1 January 1985
- book chapter
- Published by Springer Nature
- p. 271-286
- https://doi.org/10.1007/3-540-15976-2_13
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Computer experiments with the REVE term rewriting system generatorPublished by Association for Computing Machinery (ACM) ,1983
- Specification and Verification of Communication Protocols in AFFIRM Using State Transition ModelsIEEE Transactions on Software Engineering, 1982
- A complete proof of correctness of the Knuth-Bendix completion algorithmJournal of Computer and System Sciences, 1981
- Proofs by induction in equational theories with constructorsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1980
- Equations and Rewrite Rules: A SurveyPublished by Elsevier ,1980