A Term Rewriting Approach to Analyze High Level Petri Nets.

Xudong He, Reng Zeng, Su Liu, Zhuo Sun, Kyungmin Bae

Browse the full TASE paper archive.