Kondratyev, A.

• Khomenko, Victor; Kondratyev, Alex; Koutny, Maciej; Vogler, Walter:
  Merged processes: a new condensed representation of Petri net behaviour. .

• Khomenko, Victor; Kondratyev, Alex; Koutny, Maciej; Vogler, Walter:
  Merged processes: a new condensed representation of Petri net behaviour. 2006.

• Khomenko, Victor; Kondratyev, Alex; Koutny, Maciej; Vogler, Walter:
  Merged Processes - A New Condensed Representation of Petri Net Behaviour. 2005.

• Liu, Cong; Kondratyev, Alex; Watanabe, Yosinori; Sangiovanni-Vincentelli, Alberto:
  A structural approach to quasi-static schedulability analysis of communicating concurrent programs. 2005.

• Khomenko, Victor; Kondratyev, Alex; Koutny, Maciej; Vogler, Walter:
  Merged Processes - A New Condensed Representation of Petri Net Behaviour. 2005.

• Cortadella, Jordi; Kondratyev, Alex; Lavagno, Luciano; Watanabe, Yosinori:
  Quasi-Static Scheduling for Concurrent Architectures. 2003.

• Cortadella, J.; Kishinevsky, M.; Kondratyev, A.; Lavagno, L.; Yakovlev, A.:
  Logic synthesis of asynchronous controllers and interfaces. 2002.

• Cortadella, Jordi; Kondratyev, Alex; Lavagno, Luciano; Passerone, Claudio; Watanabe, Yosinori:
  Quasi-Static Scheduling of Independent Tasks for Reactive Systems. 2002.

• Cortadella, Jordi; Kishinevsky, Michael; Kondratyev, Alex; Lavagno, Luciano; Yakovlev, Alex:
  Hardware and Petri Nets: Application to Asynchronous Circuit Design. 2000.

• Saito, H.; Kondratyev, A.; Cortadella, J.; Lavagno, L.; Yakovlev, A.:
  What is the cost of delay insensitivity?. 1999.

• Kondratyev, A.; Cortadella, J.; Kishinevsky, M.; Lavagno, L.; Taubin, A.; Yakovlev, A.:
  Identifying state coding conflicts in asynchronous system specification using Petri net unfoldings. 1998.

• Pastor, E.; Cortadella, J.; Kondratyev, A.; Roig, O.:
  Structural methods for the synthesis of speed-independent circuits. 1998.

• Taubin, A.; Kondratyev, A.; Kishinevsky, M.:
  Deadlock prevention using Petri nets and their unfoldings. 1998.

• Kondratyev, Alex; Kishinevsky, Michael; Taubin, Alexander; Ten, Sergei:
  Analysis of Petri Nets by Ordering Relations in Reduced Unfoldings. 1998.

• Kishinevsky, Michael; Cortadella, Jordi; Kondratyev, Alex; Lavagno, Luciano; Taubin, Alexander; Yakovlev, Alex:
  Coupling Asynchrony and Interrupts: Place Chart Nets. 1997.

• Cortadella, J.; Kishinevsky, M.; Kondratyev, A.; Lavagno, L.; Yakovlev, A.:
  Petrify: a tool for manipulating concurrent specifications and synthesis of asynchronous controllers. 1997.

• Taubin, A.; Kondratyev, A.; Kishinevsky, M.:
  Deadlock prevention using Petri net unfoldings. 1996.

• Yakovlev, A.; Kishinevsky, M.; Kondratyev, A.; Lavagno, L.; Pietkiewicz-Koutny, M.:
  On the Models for Asynchronous Circuit Behaviour with OR Causality. 1996.

• Kondratyev, Alex; Kishinevsky, Michael; Taubin, Alexander; Ten, Sergei:
  A Structural Approach for the Analysis of Petri Nets by Reduced Unfoldings. 1996.

• Yakovlev, A.; Kishinevsky, M.; Kondratyev, A.; Lavagno, L.:
  OR Causality: Modelling and Hardware Implementation. 1994.

Back to the Petri Nets Bibliography