Розширення мереж Петрі і XML

Abstract

To extend Petri nets new populations have been proposed: arc type – inhibitory arc of n-th order; position type: the position of n-th level, position with fixed time of chip detention, position of n-th level with fixed time of chip detention, simple predicate position and predicate position of n-th level. The extended Petri nets made it possible to simulate technological processes of different complex objects.  XML index and XML language have been introduced for the elements of the extended Petri nets: inhibitory arc of n-th order; position of n-th level, position with fixed time of chip detention, position of n-th level with fixed time of chip detention, simple predicate position and predicate position of n-th level. XML files of input data for primitive models with inhibitory arc of n-th order; position of n-th level, position with fixed time of chip detention, position of n-th level with fixed time of chip detention, simple predicate position and predicate position of n-th level have been developed. XML files of input data have been proposed to use in infware for the models of different complex objects, built on the base of extended Petri nets to process data reliably.