( 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 Kramer

Carla Richter

Carla Müller

 

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

Verification of Fault-predictability in Labeled Petri Nets Using Predictor Graphs., , и . IEEE Trans. Automat. Contr., 64 (10): 4353-4360 (2019)Verification of Detectability in Petri Nets Using Verifier Nets., , , и . CoRR, (2019)Verification of C-detectability Using Petri Nets., , , и . CoRR, (2019)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)Fault model identification and synthesis in Petri nets., , , и . Discrete Event Dynamic Systems, 25 (3): 419-440 (2015)On the use of IPA in performance optimization of continuous marked graphs: A case study., и . ETFA, стр. 1-8. IEEE, (2013)Complete enumeration of minimal siphons in ordinary Petri nets based on problem partitioning., , , и . CDC, стр. 356-361. IEEE, (2015)Fault detection for discrete event systems using Petri nets with unobservable transitions., , и . Autom., 46 (9): 1531-1539 (2010)Marking Observer of Labeled Petri Nets with Uncertainty in the Initial Marking., , и . SMC, стр. 2348-2353. IEEE, (2013)