'True Concurrency' Semantics for Time Petri Nets with Weak Time and Persistent Atomic Policies

Irina B. Virbitskaite, Andrey Yu Zubarev. 'True Concurrency' Semantics for Time Petri Nets with Weak Time and Persistent Atomic Policies. Programming and Computer Software, 47(5):389-401, 2021. [doi]

@article{VirbitskaiteZ21,
  title = {'True Concurrency' Semantics for Time Petri Nets with Weak Time and Persistent Atomic Policies},
  author = {Irina B. Virbitskaite and Andrey Yu Zubarev},
  year = {2021},
  doi = {10.1134/S0361768821050078},
  url = {https://doi.org/10.1134/S0361768821050078},
  researchr = {https://researchr.org/publication/VirbitskaiteZ21},
  cites = {0},
  citedby = {0},
  journal = {Programming and Computer Software},
  volume = {47},
  number = {5},
  pages = {389-401},
}