User Tools

Site Tools


Policy Net

Policy nets is an extension of Petri nets with step execution semantics, which is especially convenient for modelling GALS [1].

[1] 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.
Copyright © 2014-2024

Donate Powered by PHP Valid HTML5 Valid CSS Driven by DokuWiki