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.

Abstract

Abstract is missing.