For the most recent entries see the
Petri Nets Newsletter.
Kishinevsky, M.
-
Júlvez, Jorge;
Cortadella, Jordi;
Kishinevsky, Michael:
Performance analysis of concurrent systems with early evaluation.
2006.
-
Cortadella, J.;
Kishinevsky, M.;
Kondratyev, A.;
Lavagno, L.;
Yakovlev, A.:
Logic synthesis of asynchronous controllers and interfaces.
2002.
-
Cortadella, Jordi;
Kishinevsky, Michael;
Kondratyev, Alex;
Lavagno, Luciano;
Yakovlev, Alex:
Hardware and Petri Nets: Application to Asynchronous Circuit Design.
2000.
-
Cortadella, J.;
Kishinevsky, M.;
Lavagno, L.;
Yakovlev, A.:
Deriving Petri nets from finite transition systems.
1998.
-
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.
-
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.
-
Cortadella, J.;
Kishinevsky, M.;
Lavagno, L.;
Yakovlev, A.:
Synthesizing Petri Nets from State-Based Models.
1995.
-
Yakovlev, A.;
Kishinevsky, M.;
Kondratyev, A.;
Lavagno, L.:
OR Causality: Modelling and Hardware Implementation.
1994.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
The link to the author's homepage is provided by the
database of Petri net researchers.
Back to the Petri Nets Bibliography