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