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}, }