I. B. Virbitskaite

Available identifiers

zbMath Open virbitskaite.irina-bMaRDI QIDQ174077

List of research outcomes

Publication	Date of Publication	Type
Comparative Transition System Semantics for Cause-Respecting Reversible Prime Event Structures	2024-04-09	Paper
Testing equivalences of time Petri nets	2020-12-18	Paper
``Truly concurrent and nondeterministic semantics of discrete-time Petri nets	2020-12-16	Paper
From event-oriented models to transition systems	2019-12-18	Paper
True Concurrent Equivalences in Time Petri Nets*	2017-11-09	Paper
https://portal.mardi4nfdi.de/entity/Q2979817	2017-04-26	Paper
Configuration- and Residual-Based Transition Systems for Event Structures with Asymmetric Conflict	2017-04-04	Paper
Branching Processes of Timed Petri Nets	2016-12-21	Paper
Comparative trace semantics of time Petri nets	2016-06-27	Paper
Comparing Semantics Under Strong Timing of Petri Nets	2015-12-03	Paper
A Domain View of Timed Behaviors	2014-12-22	Paper
Unifying behavioral equivalences of timed transition systems	2012-11-16	Paper
Unifying Equivalences for Higher Dimensional Automata	2012-10-29	Paper
A Categorical View of Timed Behaviours	2011-06-14	Paper
A Categorical View of Timed Weak Bisimulation	2010-06-17	Paper
Perspectives of System Informatics	2010-01-05	Paper
Semantic domains of timed event structures	2009-09-04	Paper
https://portal.mardi4nfdi.de/entity/Q5192929	2009-08-10	Paper
https://portal.mardi4nfdi.de/entity/Q5486046	2006-09-06	Paper
https://portal.mardi4nfdi.de/entity/Q4818753	2004-10-01	Paper
https://portal.mardi4nfdi.de/entity/Q3043824	2004-08-06	Paper
https://portal.mardi4nfdi.de/entity/Q4782718	2002-12-02	Paper
https://portal.mardi4nfdi.de/entity/Q4778629	2002-11-18	Paper
https://portal.mardi4nfdi.de/entity/Q4529614	2002-05-05	Paper
A method for parametric verification of the behavior of time Petri nets	2001-11-06	Paper
The use of partial-order technique for verification of time Petri nets	2001-04-26	Paper
Analysis of equivalence relations of event structures with continuous time	2001-01-15	Paper
https://portal.mardi4nfdi.de/entity/Q4517366	2000-11-21	Paper
https://portal.mardi4nfdi.de/entity/Q4934360	2000-10-12	Paper
https://portal.mardi4nfdi.de/entity/Q4507811	2000-10-10	Paper
https://portal.mardi4nfdi.de/entity/Q4951403	2000-05-04	Paper
https://portal.mardi4nfdi.de/entity/Q4947227	2000-04-16	Paper
https://portal.mardi4nfdi.de/entity/Q4947319	2000-04-16	Paper
https://portal.mardi4nfdi.de/entity/Q4947311	2000-04-16	Paper

Research outcomes over time

This page was built for person: I. B. Virbitskaite