Decidability Analysis of Some Classes of Extended Function Petri Net

@article{Ohta2012DecidabilityAO,
  title={Decidability Analysis of Some Classes of Extended Function Petri Net},
  author={Atsushi Ohta and Kohkichi Tsuji},
  journal={2012 Third International Conference on Networking and Computing},
  year={2012},
  pages={414-419}
}
In this report, we study liveness and reach ability problem of extended function Petri net with some structural restriction. Petri net is a mathematical model for concurrent systems such as parallel computers, manufacturing system, communication protocol and so on. Liveness and reach ability are important problems of Petri net. The former is to verify… CONTINUE READING