D. K. Hlomozda

Available identifiers

zbMath Open hlomozda.d-kMaRDI QIDQ1007156

List of research outcomes

Publication	Date of Publication	Type
Automating the conversion of colored Petri nets with qualitative tokens into colored Petri nets with quantitative tokens	2018-11-01	Paper
Complexity of the problem of verifying the coordination mechanism in a system of software support of network collaboration	2009-03-27	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: D. K. Hlomozda