Models of concurrent systems, including true concurrency and interleaving approach, such as Petri nets, process algebras, cause-effect structures. The research topics cover verification, workflow modeling, equivalence checking, process algebras.