Author of the publication

Modeling and Verification for Cross-Department Collaborative Business Processes Using Extended Petri Nets.

, , , , and . IEEE Trans. Syst. Man Cybern. Syst., 45 (2): 349-362 (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Synchronization-Core-Based Discovery of Processes with Decomposable Cyclic Dependencies., , and . ACM Trans. Knowl. Discov. Data, 10 (3): 31:1-31:29 (2016)Reverse Unfolding of Petri Nets and its Application in Program Data Race Detection., and . Int. J. Softw. Informatics, 11 (4): 405-428 (2021)Deadlock detection-oriented unfolding of unbounded Petri nets., , , , and . Inf. Sci., (2019)A Survey of Detection Methods for Software Use-After-Free Vulnerability., , , and . ICPCSEE (2), volume 1629 of Communications in Computer and Information Science, page 272-297. Springer, (2022)Petri Net Unfolding-Based Detection and Replay of Program Deadlocks., , , , and . IEEE Access, (2024)Decidability of Minimal Supports of S-invariants and the Computation of their Supported S-invariants of Petri Nets., , , , and . SEKE, page 340-345. Knowledge Systems Institute Graduate School, (2012)Transition-driven time prediction for business processes with cycles., , , , , and . Expert Syst. Appl., (2022)A synergy-effect-incorporated fuzzy Petri net modeling paradigm with application in risk assessment., , , and . Expert Syst. Appl., (2022)Finding similar users from GPS data based on assignment problem., , , and . ICCIP, page 283-288. ACM, (2018)Survey of Methods for Time Series Symbolic Aggregate Approximation., , , and . ICPCSEE (1), volume 1058 of Communications in Computer and Information Science, page 645-657. Springer, (2019)