DEVICE FOR PETRI NETWORK MODELING

摘要

the invention u043eu0442u043du043eu0441u0438u0442u0441u00a0 to computer technology and can be used u0434u043bu00a0 u043cu043eu0434u0435u043bu0438u0440u043eu0432u0430u043du0438u00a0 systems described u0441u0435u0442u00a0u043cu0438 petri dish with the prohibition. purpose u0438u0437u043eu0431u0440u0435u0442u0435u043du0438u00a0 u00a0u0432u043bu00a0u0435u0442u0441u00a0 increased functionality of the device by u043cu043eu0434u0435u043bu0438u0440u043eu0432u0430u043du0438u00a0 petri networks from prohibiting with.the device contains a synchronization block 1, block 2 u0432u044bu0447u0438u0441u043bu0435u043du0438u00a0 current partitioning, block 3, block 4 u043eu043fu0440u0435u0434u0435u043bu0435u043du0438u00a0 excited transitions, logical u0443u043cu043du043eu0436u0435u043du0438u00a0, block 5 u043eu043fu0440u0435u0434 u0435u043bu0435u043du0438u00a0 illicit crossings, the entrance 6 launch, entry 7 u0437u0430u0434u0430u043du0438u00a0 values of the matrix elements output markup peaks - transitions, the entrance 8 u0437u0430u0434u0430u043du0438u00a0 initial markingsthe entrance 9 u0437u0430u0434u0430u043du0438u00a0 matrix elements the partitioning nodes, transitions and the entrance 10 u0437u0430u0434u0430u043du0438u00a0 values of the matrix elements of the prohibition of all devices. vector u0443u043fu0440u0430u0432u043bu0435u043du0438u00a0 asking the transitions in the network marking, u0444u043eu0440u043cu0438u0440u0443u0435u0442u0441u00a0 output unit 4 in a logical u0443u043cu043du043eu0436u0435u043du0438u00a0 vector u0432u043eu0437u0431u0443u0436u0434u0435u043du043d s transitions and vector controlled crossings.by vector u0443u043fu0440u0430u0432u043bu0435u043du0438u00a0 block 2 u0432u044bu0447u0438u0441u043bu00a0u0435u0442u0441u00a0 u0442u0435u043au0443u0449u0430u00a0 marking network. 1 il. (l, c