overview:policy
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 workcraft.org