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

Carla Reiner

Carla Neumann

 

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

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)Supervisory Control of Petri Nets with Decentralized Monitor Places., , и . ACC, стр. 4957-4962. IEEE, (2007)The observer coverability graph for the analysis of observability properties of Place/Transition nets., и . ECC, стр. 1339-1344. IEEE, (2001)Diagnosability of bounded Petri nets., , и . CDC, стр. 1254-1260. IEEE, (2009)Initial marking estimation in labeled Petri nets in a probabilistic setting., , и . CDC, стр. 6725-6730. IEEE, (2014)Linear programming techniques for the identification of place/transition nets., , и . CDC, стр. 514-520. IEEE, (2008)State Estimation of Discrete-Event Systems Subject to Intermittent and Permanent Loss of Observations., , и . CDC, стр. 1048-1053. IEEE, (2021)Resilient Self-Organizing Networks in Multi-Agent Systems via Approximate Random k-Regular Graphs., , , и . CDC, стр. 6448-6453. IEEE, (2022)Petri net control using event observers and timing information., , и . CDC, стр. 787-792. IEEE, (2002)