Analysis of Real-Time Concurrent System Models based on CSP Using Stochastic Petri Nets

Frederick T. Sheldon. Analysis of Real-Time Concurrent System Models based on CSP Using Stochastic Petri Nets. In Richard N. Zobel, Dietmar P. F. Möller, editors, 12:::th::: European Simulation Multiconference - Simulation - Past, Present and Future, June 16-19, 1998, Machester, United Kingdom. pages 776-783, SCS Europe, 1998.

@inproceedings{Sheldon98,
  title = {Analysis of Real-Time Concurrent System Models based on CSP Using Stochastic Petri Nets},
  author = {Frederick T. Sheldon},
  year = {1998},
  tags = {rule-based, analysis},
  researchr = {https://researchr.org/publication/Sheldon98},
  cites = {0},
  citedby = {0},
  pages = {776-783},
  booktitle = {12:::th::: European Simulation Multiconference - Simulation - Past, Present and Future, June 16-19, 1998, Machester, United Kingdom},
  editor = {Richard N. Zobel and Dietmar P. F. Möller},
  publisher = {SCS Europe},
  isbn = {1-56555-148-6},
}