Investigating the Applicability of Petri Nets for Rule-Based System Verification

@article{Nazareth1993InvestigatingTA,
  title={Investigating the Applicability of Petri Nets for Rule-Based System Verification},
  author={Derek L. Nazareth},
  journal={IEEE Trans. Knowl. Data Eng.},
  year={1993},
  volume={5},
  pages={402-415}
}

From This Paper

Topics from this paper.
43 Citations
0 References
Similar Papers

Citations

Publications citing this paper.
Showing 1-10 of 43 extracted citations

Similar Papers

Loading similar papers…