Classification and evaluation of timed running schemas for workflow based on process mining
Journal of Systems and Software
Cross-organizational collaborative workflow mining from a multi-source log
Decision Support Systems
| Hi-index | 0.00 |
In order to overcome the difficulties in analyzing complex physical systems with Petri nets, two new decomposition methods for structure-complex Petri net are presented based on an index function defined on the place and transition set respectively. The decomposition method based on the indexes of places is suitable for analyzing the behavior synchronization between systems, with which a structure-complex Petri net is decomposed into a set of S-Nets. The decomposition method based on the indexes of transitions is suitable for analyzing the resource sharing between systems, with which a structure-complex Petri net is decomposed into a set of T-Nets. The relationships between the decomposition structure-simple subnets and the original structure-complex systems are proved, and the properties of the original system can be analyzed based on the structure-simple S-Nets or T-Nets.