Using E-Connection and Description Logic for Formalizing and Analyzing High-Level Petri Net.

Lu Songfeng, Sun Chengfu, Ma Xinjian

Browse the full SYNASC paper archive.