A Method to Analyze High Level Petri Nets using SPIN Model Checker.

Dewan Mohammad Moksedul Alam, Xudong He

Browse the full SEKE paper archive.