The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
In order to solve the problem about the partition of Petri net model and subnet division, realize the concurrent execution or simulation runs of Petri net system, the partitioning algorithm of parallel subnet of Petri net is proposed. First, as Petri net system has the characteristics of synchronization and concurrence, provide the place-invariant based Petri net model partitioning and subnet division...
To solve the parallelism algorithm of Petri network system with parallel feature and implementing paralleling control and execution of Petri network, we propose the analysis and algorithm design of Petri network process. Based on employing P-invariants to partition the function of Petri network system, we firstly analyzed the situations of parallelism between processes, checked the effects of the...
This paper presents an efficient way to maximize the throughput of mixed batch/continuous process based on integrated hybrid time Petri nets and genetic algorithm. The scheduling problem of process is mapped as the solution of the optimal regional state sequence in HTPNs. The transition firing decision model is developed according to the enabling and firing rules, and a genetic algorithm of scheduling...
With the aim of solving the problems of the Petri nets to the place/transition nets automatic conversion and realization of Petri nets parallel control and running, the algorithm is proposed to transform Color Petri net systems transform into P/T nets. The algebraic model of colored Petri nets and P/T nets, and its intrinsic mechanism is analyzed, the process and theory verification of the colored...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.