Victor Khomenko

Available identifiers

zbMath Open khomenko.victorMaRDI QIDQ403019

List of research outcomes

Publication	Date of Publication	Type
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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Victor Khomenko