| Publication | Date of Publication | Type |
|---|
Verification of data-aware process models: checking soundness of Data Petri nets
Journal of Logical and Algebraic Methods in Programming | 2024-03-20 | Paper |
On occurrence net semantics for petri nets with contacts
Fundamentals of Computation Theory | 2022-12-09 | Paper |
Resource Bisimilarity in Petri Nets is Decidable
Fundamenta Informaticae | 2022-10-07 | Paper |
| Property-preserving transformations of elementary net systems based on morphisms | 2022-08-11 | Paper |
Boris Abramovich Trakhtenbrot
Russian Mathematical Surveys | 2022-05-09 | Paper |
Automatic construction of systems of distributed components from nested Petri nets models
Programming and Computer Software | 2020-12-16 | Paper |
| Resource equivalences in Petri nets | 2018-08-20 | Paper |
Controlling Petri Net Behavior using Priorities for Transitions
Fundamenta Informaticae | 2017-03-22 | Paper |
Structural place invariants for analyzing the behavioral properties of nested Petri nets
Application and Theory of Petri Nets and Concurrency | 2016-10-04 | Paper |
Decidability of $$k$$-Soundness for Workflow Nets with an Unbounded Resource
Lecture Notes in Computer Science | 2015-11-12 | Paper |
Discovery of cancellation regions within process mining techniques
Fundamenta Informaticae | 2014-12-22 | Paper |
Modelling multiagent systems with the help of generalized nets of active resources
Cybernetics and Systems Analysis | 2014-10-30 | Paper |
Process model discovery: a method based on transition system decomposition
Application and Theory of Petri Nets and Concurrency | 2014-07-08 | Paper |
Analyzing compatibility of services via resource conformance
Fundamenta Informaticae | 2014-04-25 | Paper |
On Compositionality of Boundedness and Liveness for Nested Petri Nets
Fundamenta Informaticae | 2013-01-14 | Paper |
Cellular Resource-Driven Automata
Fundamenta Informaticae | 2013-01-14 | Paper |
Resource Driven Automata Nets
Fundamenta Informaticae | 2011-11-10 | Paper |
Interacting workflow nets for workflow process re-engineering
Fundamenta Informaticae | 2011-03-09 | Paper |
Nested Nets for Adaptive Systems
Petri Nets and Other Models of Concurrency - ICATPN 2006 | 2009-04-02 | Paper |
Interacting Automata for Modelling Distributed Systems
Lecture Notes in Computer Science | 2008-09-30 | Paper |
Nested Petri Nets for Adaptive Process Modeling
Pillars of Computer Science | 2008-03-25 | Paper |
| Checking properties of adaptive workflow nets | 2007-10-17 | Paper |
Resource bisimulation in Petri nets
Journal of Computer and Systems Sciences International | 2007-05-16 | Paper |
| Nested Petri nets: modeling and analysis of distributed systems with object structure | 2007-02-26 | Paper |
| scientific article; zbMATH DE number 2214253 (Why is no real title available?) | 2005-10-13 | Paper |
| scientific article; zbMATH DE number 2104630 (Why is no real title available?) | 2004-10-01 | Paper |
| scientific article; zbMATH DE number 2084347 (Why is no real title available?) | 2004-08-06 | Paper |
| scientific article; zbMATH DE number 2064225 (Why is no real title available?) | 2004-05-18 | Paper |
Recursive nested Petri Nets: Analysis of semantic properties and expessibility
Programming and Computer Software | 2003-09-01 | Paper |
| scientific article; zbMATH DE number 1799520 (Why is no real title available?) | 2002-09-11 | Paper |
Causal semantics for Petri nets with contacts
Programming and Computer Software | 2001-04-26 | Paper |
Nested Petri nets: Multi-level and recursive systems.
Fundamenta Informaticae | 2001-01-01 | Paper |
| scientific article; zbMATH DE number 1522994 (Why is no real title available?) | 2000-10-30 | Paper |
| scientific article; zbMATH DE number 1515290 (Why is no real title available?) | 2000-10-10 | Paper |
| scientific article; zbMATH DE number 33425 (Why is no real title available?) | 1992-06-28 | Paper |
Combining algebraic specifications and procedural tools for correct program development
Programming and Computer Software | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4049006 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4068250 (Why is no real title available?) | 1987-01-01 | Paper |
The problem of the existence of a complete axiomatic semantics for programs that do not allow side effects
USSR Computational Mathematics and Mathematical Physics | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4041244 (Why is no real title available?) | 1986-01-01 | Paper |
Reducing transformations for functional programs with assignment
Programming and Computer Software | 1986-01-01 | Paper |
