( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
From DB-nets to Coloured Petri Nets with Priorities (Extended Version).

, и . 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.

Marco Montali

Johannes Marcour

Hans-Ernst Marcolin

Monika Marcotty

Carlos Javier Marcos Navas

 

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

Semantic Enrichment of GSM-Based Artifact-Centric Models, , , и . Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, KR, AAAI Press, (2014)From DB-nets to Coloured Petri Nets with Priorities (Extended Version)., и . CoRR, (2019)From DB-nets to Coloured Petri Nets with Priorities., и . Petri Nets, том 11522 из Lecture Notes in Computer Science, стр. 449-469. Springer, (2019)Linear-Time Verification of Data-Aware Processes Modulo Theories via Covers and Automata., , и . AAAI, стр. 10525-10534. AAAI Press, (2024)Temporal Logics Over Finite Traces with Uncertainty., , и . AAAI, стр. 10218-10225. AAAI Press, (2020)A Tool for Computing Probabilistic Trace Alignments., , , и . CAiSE Forum, том 424 из Lecture Notes in Business Information Processing, стр. 118-126. Springer, (2021)Conformance Checking with Uncertainty via SMT., , , , и . BPM, том 13420 из Lecture Notes in Computer Science, стр. 199-216. Springer, (2022)Human Behavior as a Process Model: Which Language to Use?, , и . ITBPM@BPM, том 2952 из CEUR Workshop Proceedings, стр. 18-25. CEUR-WS.org, (2021)Conceptually-grounded Mapping Patterns for Virtual Knowledge Graphs., , , , , и . SEBD, том 3194 из CEUR Workshop Proceedings, стр. 85-92. CEUR-WS.org, (2022)Repairing Soundness Properties in Data-Aware Processes., , и . ICPM, стр. 41-48. IEEE, (2023)