Rivkin, Andrey
- DB-Nets: on The Marriage of Colored Petri Nets and Relational Databases
2016/11/11 by Marco Montali, Montali, Marco, Andrey Rivkin +1 · 2 citations
Business, Management and Accounting · Computer Science · #Advanced Database Systems and Queries #Business Process Modeling and Analysis #Databases (cs.DB) #FOS: Computer and information sciences #Service-Oriented Architecture and Web Services
- Modeling and In-Database Management of Relational, Data-Aware Processes (Extended Version)
2018/10/18 by Diego Calvanese, Calvanese, Diego, Marco Montali +5 · 1 citation
Computer Science · Business, Management and Accounting · #Service-Oriented Architecture and Web Services #Business Process Modeling and Analysis #Advanced Database Systems and Queries
- Petri Nets with Parameterised Data: Modelling and Verification (Extended\n Version)
2020/06/11 by Silvio Ghilardi, Ghilardi, Silvio, Alessandro Gianola +5 · 1 citation
Business, Management and Accounting · Computer Science · #Artificial Intelligence (cs.AI) #Business Process Modeling and Analysis #FOS: Computer and information sciences #Petri Nets in System Modeling #Service-Oriented Architecture and Web Services
- Monitoring Hybrid Process Specifications with Conflict Management: The Automata-theoretic Approach
2021/11/25 by Anti Alman, Fabrizio Maria Maggi, Alman, Anti +7 · 1 citation
Business, Management and Accounting · Computer Science · #Artificial Intelligence (cs.AI) #Business Process Modeling and Analysis #FOS: Computer and information sciences #Petri Nets in System Modeling #Service-Oriented Architecture and Web Services
- CoCoMoT: Conformance Checking of Multi-Perspective Processes via SMT (Extended Version)
2021/03/18 by Paolo Felli, Alessandro Gianola, Felli, Paolo +7 · 1 citation
Business, Management and Accounting · Computer Science · #Artificial Intelligence (cs.AI) #Business Process Modeling and Analysis #FOS: Computer and information sciences #Model-Driven Software Engineering Techniques #Service-Oriented Architecture and Web Services