A Petri Net extension for formal modelling of information systems

Sasa Kresoja, Milos Rackovic, Srdjan Skrbic, Bojana Dimic Surla. A Petri Net extension for formal modelling of information systems. Comput. Syst. Sci. Eng., 31(3), 2016.

@article{KresojaRSS16,
  title = {A Petri Net extension for formal modelling of information systems},
  author = {Sasa Kresoja and Milos Rackovic and Srdjan Skrbic and Bojana Dimic Surla},
  year = {2016},
  researchr = {https://researchr.org/publication/KresojaRSS16},
  cites = {0},
  citedby = {0},
  journal = {Comput. Syst. Sci. Eng.},
  volume = {31},
  number = {3},
}