For the most recent entries see the
Petri Nets Newsletter.
An Algorithm for the Verification of Behaviour Properties of Timed Petri Nets.
Virbitskaite, Irina B.;
Trepakova, S.B.
In:
Problems of Theoretical and Experimental Programming, Institute of Informatics Systems, Novosibirsk, pages 33-44.
1993.
In Russian.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography