( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Verification of Detectability in Petri Nets Using Verifier Nets.

, , , и . CoRR, (2019)

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.

Sabine Carland

Carla Jennewein

Regulation of peroxisome proliferator-activated receptor γ gamma in macrophages during inflammatory processes. Uni Frankfurt Main, (2010)

Carla Reiner

Carla Sabariego

Carla Neumann

 

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

Verification of Detectability in Petri Nets Using Verifier Nets., , , и . CoRR, (2019)Verification of C-detectability Using Petri Nets., , , и . CoRR, (2019)Verification of State-Based Opacity Using Petri Nets., , , и . IEEE Trans. Autom. Control., 62 (6): 2823-2837 (2017)Optimal sensor selection for ensuring diagnosability in labeled Petri nets., , и . Autom., 49 (8): 2373-2383 (2013)Verification of K-step and infinite-step opacity of bounded labeled Petri nets., , и . Autom., (2022)A Decision Support System for Optimizing Operations at Intermodal Railroad Terminals., , , , и . IEEE Trans. Syst. Man Cybern. Syst., 47 (3): 487-501 (2017)Basis Coverability Graph for Partially Observable Petri Nets with Application to Diagnosability Analysis., , и . Petri Nets, том 10877 из Lecture Notes in Computer Science, стр. 164-183. Springer, (2018)Enforcement of Diagnosability in Labeled Petri Nets via Optimal Sensor Selection., , и . IEEE Trans. Automat. Contr., 64 (7): 2997-3004 (2019)Complete enumeration of minimal siphons in ordinary Petri nets based on problem partitioning., , , и . CDC, стр. 356-361. IEEE, (2015)Marking Observer of Labeled Petri Nets with Uncertainty in the Initial Marking., , и . SMC, стр. 2348-2353. IEEE, (2013)