Victor Khomenko

Available identifiers

zbMath Open khomenko.victorMaRDI QIDQ403019

List of research outcomes

Publication	Date of Publication	Type
Slimming down Petri boxes: compact Petri net models of control flows	2024-08-13	Paper
Avoiding exponential explosion in Petri net models of control flows	2022-08-19	Paper
A Case for Using Signal Transition Graphs for Analysing and Refining Genetic Networks	2015-03-19	Paper
Recent advances in unfolding technique	2014-08-29	Paper
A polynomial translation of \(\pi\)-calculus FCPS to safe Petri nets	2013-09-26	Paper
Contextual Merged Processes	2013-06-28	Paper
A Polynomial Translation of π-Calculus (FCP) to Safe Petri Nets	2012-09-25	Paper
Flat arbiters	2012-07-04	Paper
An Algorithm for Direct Construction of Complete Merged Processes	2011-06-29	Paper
A New Type of Behaviour-Preserving Transition Insertions in Unfolding Prefixes	2010-10-04	Paper
On the well-foundedness of adequate orders used for construction of complete unfolding prefixes	2010-03-24	Paper
A Practical Approach to Verification of Mobile Systems Using Net Unfoldings	2009-11-30	Paper
STG decomposition strategies in combination with unfolding	2009-10-23	Paper
Behaviour-Preserving Transition Insertions in Unfolding Prefixes	2009-03-11	Paper
Combining Decomposition and Unfolding for STG Synthesis	2009-03-11	Paper
https://portal.mardi4nfdi.de/entity/Q3602753	2009-02-12	Paper
https://portal.mardi4nfdi.de/entity/Q5506395	2009-01-28	Paper
A Practical Approach to Verification of Mobile Systems Using Net Unfoldings	2008-07-03	Paper
Verification of bounded Petri nets using integer programming	2007-04-26	Paper
Merged processes: a new condensed representation of Petri net behaviour	2006-12-06	Paper
CONCUR 2005 – Concurrency Theory	2006-11-01	Paper
https://portal.mardi4nfdi.de/entity/Q5480167	2006-07-26	Paper
Lectures on Concurrency and Petri Nets	2005-12-23	Paper
Computer Aided Verification	2005-08-25	Paper
Canonical prefixes of Petri net unfoldings	2004-12-09	Paper
https://portal.mardi4nfdi.de/entity/Q4824481	2004-11-01	Paper
https://portal.mardi4nfdi.de/entity/Q4472254	2004-08-04	Paper
https://portal.mardi4nfdi.de/entity/Q4417949	2003-07-30	Paper
https://portal.mardi4nfdi.de/entity/Q4804927	2003-05-01	Paper
https://portal.mardi4nfdi.de/entity/Q4791845	2003-02-03	Paper
https://portal.mardi4nfdi.de/entity/Q4536617	2002-11-28	Paper

Research outcomes over time

This page was built for person: Victor Khomenko