Login / Signup

A Term Rewriting Approach to Analyze High Level Petri Nets.

Xudong HeReng ZengSu LiuZhuo SunKyungmin Bae
Published in: TASE (2016)
Keyphrases
  • term rewriting
  • petri net
  • high level petri nets
  • theorem proving
  • theorem prover
  • operational semantics
  • knuth bendix
  • rewrite systems
  • mobile devices
  • email