Virbitskaite, I.B.

• Virbitskaite, I.B.:
  Characterizing Timed Net Processes Categorically. 2001.

• Virbitskaite, I.B.:
  An event structure model for dataflow computing. 1999.

• Virbitskaite, I.B.; Pokozy, E.:
  A partial order method for the verification of time Petri nets. 1999.

• Virbitskaite, Irina B.; Tarasyuk, Igor V.:
  Equivalence notions and refinement for timed Petri nets. 1998.

• Bystrov, A.V.; Virbitskaite, I.B.:
  Implementing model checking and equivalence checking for time Petri nets by the RT-MEC tool. 1997.

• Virbitskaite, I.B.; Pokozy, E.A.:
  Parametric behavior analysis for time Petri nets. 1997.

• Virbitskaite, Irina B.; Tarasyuk, Igor V.:
  Investigating equivalence notions for time Petri nets. 1997.

• Virbitskaite, Irina B.; Bozhenkova, E.N.:
  Towards Algebraic Specifications of Event Structures. 1994.

• Virbitskaite, Irina B.; Bozhenkova, E.N.:
  Unified Characterization of Some Properties of Event Structures. 1994.

• Virbitskaite, Irina B.:
  Observing Some Properties of Event Structures. 1993.

• Virbitskaite, Irina B.:
  Some Characteristics of Nondetermin istic Processes. 1993.

• Virbitskaite, Irina B.:
  The Relative Strength of Density and Crossing Properties of Event Structures. 1993.

• Virbitskaite, Irina B.; Trepakova, S.B.:
  An Algorithm for the Verification of Behaviour Properties of Timed Petri Nets. 1993.

Back to the Petri Nets Bibliography