Liveness for Synchronized Choice Petri Nets

@article{Chao2001LivenessFS,
  title={Liveness for Synchronized Choice Petri Nets},
  author={Daniel Y. Chao and Jose A. Nicdao},
  journal={Comput. J.},
  year={2001},
  volume={44},
  pages={124-136}
}

From This Paper

Topics from this paper.

Similar Papers

Loading similar papers…