For the most recent entries see the
Petri Nets Newsletter.
Janousek, V.
-
Ceska, M.;
Janousek, V.;
Vojnar, T.:
Analysis and Verification Queries over Object-Oriented Petri Nets.
2001.
-
Ceska, M.;
Janousek, V.;
Vojnar, T.:
Generating and Using State Spaces of Object-Oriented Petri Nets.
2001.
-
Janousek, V.;
Schwarz, I.:
Interoperability of Object Oriented Petri Nets.
2001.
-
Ceska, M.;
Janousek, V.;
Vojnar, T.:
PNtalk Modelling Experience.
2000.
-
Ceska, M.;
Janousek, V.;
Vojnar, T.:
Towards Verifying Distributed Systems Using Object-Oriented Petri Nets.
2000.
-
Ceska, M.;
Janousek, V.;
Vojnar, T.:
Generating and Exploiting State Spaces of Object-Oriented Petri Nets.
2000.
-
Ceska, Milan;
Janousek, Vladimir;
Voinar, Tomas:
Object-oriented Petri Nets, Their Simulation, and Analysis.
1998.
-
Ceska, M.;
Janousek, V.;
Koci, R.;
Krena, B.;
Vojnar, T.:
PNTalk. State of the Art.
06.
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