From post

A Method to Compute Strict Minimal Siphons in a Class of Petri Nets Based on Loop Resource Subsets

, , , и . IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans, 42 (1): 226--237 (января 2012)
DOI: 10.1109/tsmca.2011.2159590

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.

 

Другие публикации лиц с тем же именем

A Deadlock Prevention Policy for a Class of Multithreaded Software., , , , , , и . IEEE Access, (2020)A method of computing strict minimal siphons in an S3PR based on resource circuits., , и . CDC, стр. 2785-2790. IEEE, (2010)A three-stage deadlock prevention strategy for S3PR nets., , и . CASE, стр. 286-291. IEEE, (2015)Synthesis of Petri net controller based local incidence matrix., и . SMC (2), стр. 1758-1763. IEEE, (2004)Synthesis of Petri net controller to enforce conjunction of GMEC using observer., , и . SMC (2), стр. 1752-1757. IEEE, (2004)A transformation algorithm for optimal admissible generalized mutual exclusion constraints on Petri nets with uncontrollable transitions., , и . ICRA, стр. 3745-3750. IEEE, (2011)An iterative Deadlock Prevention Policy Based on siphons., , , , и . ICNSC, стр. 242-246. IEEE, (2019)Liveness Enforcement for a Class of Petri Nets via Resource Allocation., , , , , и . SMC, стр. 4369-4374. IEEE, (2018)Optimal siphon-based deadlock prevention policy for a class of Petri nets in automation., , и . SMC, стр. 826-831. IEEE, (2011)An Efficient Liveness Analysis Method for Petri Nets via Maximally Good-Step Graphs., , , и . IEEE Trans. Syst. Man Cybern. Syst., 54 (7): 3908-3919 (июля 2024)