Concurrent simulation of concurrent discrete systems

@article{Karatkevich2009ConcurrentSO,
  title={Concurrent simulation of concurrent discrete systems},
  author={Andrei Karatkevich},
  journal={2009 10th International Conference - The Experience of Designing and Application of CAD Systems in Microelectronics},
  year={2009},
  pages={218-222}
}
In this paper a method of formal verification of concurrent discrete systems is presented. Full state space exploration is a powerful approach to such verification; however it cannot be applied to the large systems. The proposed method is based on concurrent simulation exploring the state spaces partially. As the model we use the ordinary Petri nets.