====== Policy Net ======
Policy nets is an extension of Petri nets with step execution semantics, which is especially convenient for modelling GALS\ [(Fernandes_2013_async)].

{{ overview:screenshot-policy.png?nolink }}

[(Fernandes_2013_async> J.\ Fernandes, M.\ Koutny, M.\ Pietkiewicz-Koutny, D.\ Sokolov, A.\ Yakovlev: //"Step persistence in the design of GALS systems"//, Proc. International Conference on Application and Theory of Petri Nets(ATPN), pp.190--209, 2013.)]