![]() | ![]() |
| 2011 | ||
|---|---|---|
| 4 | Andrei Karatkevich: Petri Net based Approach to Test Bench Constructing for Datapath. PECCS 2011: 506-511 | |
| 2008 | ||
| 3 | Andrei Karatkevich: On macroplaces in Petri nets. EWDTS 2008: 418-422 | |
| 2003 | ||
| 2 | Andrei Karatkevich: Deadlock Analysis in Statecharts. FDL 2003: 414-425 | |
| 2002 | ||
| 1 | Andrei Karatkevich, Arkadij Zakrevskij: Analysis of Petri Nets by Means of Concurrent Simulation. PARELEC 2002: 87-91 | |
| 1 | Arkadij Zakrevskij | [1] |
Data released under the ODC-BY 1.0 license — See also our legal information page