For the most recent entries see the
Petri Nets Newsletter.
Vojnar, T.
-
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.
-
Kocí, R.;
Vojnar, T.:
A PNtalk-based Model of a Cooperative Editor.
2001.
-
Krena, B.;
Vojnar, T.:
Type Analysis in Object-Oriented Petri Nets.
2001.
-
Vojnar, T.:
Towards Formal Analysis and Verification over State Spaces 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, 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