GuanJun Liu

Available identifiers

zbMath Open liu.guanjunMaRDI QIDQ989541

List of research outcomes

Publication	Date of Publication	Type
Petri Nets	2022-10-01	Paper
PSPACE-Completeness of the Soundness Problem of Safe Asymmetric-Choice Workflow Nets	2022-09-01	Paper
Complexity of the deadlock problem for Petri nets modeling resource allocation systems	2019-12-13	Paper
https://portal.mardi4nfdi.de/entity/Q4623550	2019-02-22	Paper
Sufficient and necessary condition to decide compatibility for a class of interorganizational workflow nets	2018-08-27	Paper
Deciding the liveness for a subclass of weighted Petri nets based on structurally circular wait	2016-04-12	Paper
Complexity of the Soundness Problem of Workflow Nets	2014-05-12	Paper
A simple Suboptimal siphon‐based control model of a well‐known S3PR	2014-01-30	Paper
Complexity of the Soundness Problem of Bounded Workflow Nets	2012-09-04	Paper
On conditions for the liveness of weakly persistent nets	2010-08-20	Paper

Research outcomes over time

This page was built for person: GuanJun Liu