@ARTICLE{
author={Kresoja Sasa,Rackovic Milos D,Skrbic Srdjan M,Dimic-Surla Bojana},
year={2016},
title={A petri net extension for formal modelling of information systems},
journal={COMPUTER SYSTEMS SCIENCE AND ENGINEERING},
volume={31},
number={3},
pages={223-237},
document_type={Article},
}