On Interval Process Semantics of Petri Nets with Inhibitor Arcs

Mohammed Alqarni, Ryszard Janicki. On Interval Process Semantics of Petri Nets with Inhibitor Arcs. In Raymond R. Devillers, Antti Valmari, editors, Application and Theory of Petri Nets and Concurrency - 36th International Conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, 2015, Proceedings. Volume 9115 of Lecture Notes in Computer Science, pages 77-97, Springer, 2015. [doi]

@inproceedings{AlqarniJ15,
  title = {On Interval Process Semantics of Petri Nets with Inhibitor Arcs},
  author = {Mohammed Alqarni and Ryszard Janicki},
  year = {2015},
  doi = {10.1007/978-3-319-19488-2_4},
  url = {http://dx.doi.org/10.1007/978-3-319-19488-2_4},
  researchr = {https://researchr.org/publication/AlqarniJ15},
  cites = {0},
  citedby = {0},
  pages = {77-97},
  booktitle = {Application and Theory of Petri Nets and Concurrency - 36th International Conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, 2015, Proceedings},
  editor = {Raymond R. Devillers and Antti Valmari},
  volume = {9115},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-319-19487-5},
}