A Method to Analyze High Level Petri Nets using SPIN Model Checker
| Publication | Article in Proceedings of the International Conference on Software Engineering and Knowledge Engineering, published July 2017 |
|---|---|
| Authors | Dewan Mohammad Moksedul Alam, Xudong He |
This is the public page for a publication record in Dimensions, a free research insights platform that brings together information about funding, scholarly outputs, policy, patents and grants.
Loading metrics…