Our approach of rule-based reenement 1 provides a formal description for the stepwise system development based on Petri nets. Rules with a left-hand and a right-hand side allow replacing subnets in a given algebraic high-level net system. The extension of these rules supports the preservation of system properties. In this paper we extend the preservation of safety properties signiicantly. We de...

In Kenya, free zones take the form of Special Economic Zones (SEZs) and Export Processing (EPZs) are offered a myriad fiscal non-fiscal incentives. At same time, as member World Trade Organization (WTO), is signatory to Agreement on Subsidies Countervailing Measures (ASCM), which prohibits subsidies that contingent export performance or use domestic over imported products. Although not mentione...