For the most recent entries see the
Petri Nets Newsletter.
Srba, J.
-
Srba, Jirí:
Timed-Arc Petri Nets vs. Networks of Timed Automata.
2005.
-
Jurdzinski, Marcin;
Nielsen, Mogens;
Srba, Jirí:
Undecidability of domino games and hhp-bisimilarity.
2003.
-
Srba, Jiri:
On the Power of Labels in Transition Systems.
2001.
-
Nielsen, Mogens;
Sassone, Vladimiro;
Srba, Jiri:
Properties of Distributed Timed-Arc Petri Nets.
2001.
-
Nielsen, M.;
Sassone, V.;
Srba, Jiri:
Towards a Notion of Distributed Time for Petri Nets (extended Abs.).
2001.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Are you trying to get in contact with an author? Try our
database of Petri net researchers.
Back to the Petri Nets Bibliography