Jian Song

Orcid: 0000-0002-2958-7509

According to our database¹, Jian Song authored at least 5 papers between 2022 and 2025.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2025

Model Checking of Workflow Nets with Tables and Constraints.

[BibT_eX]

[DOI]

Jian Song

Guanjun Liu

Miaomiao Wang

ACM Trans. Auton. Adapt. Syst., 2025

2024

A System Fault Diagnosis Method Based on Labeled Time Petri Net With Data.

[BibT_eX]

[DOI]

Jian Song

Guanjun Liu

IEEE Control. Syst. Lett., 2024

Modeling and Analysis of Business Process Management Systems Using Timed Workflow Nets with Tables.

[BibT_eX]

[DOI]

Jian Song

Guanjun Liu

Comput. Informatics, 2024

2023

Model Checking ofWorkflow Nets with Tables and Constraints.

[BibT_eX]

[DOI]

Jian Song

Guanjun Liu

CoRR, 2023

2022

Guard-Function-Constraint-Based Refinement Method to Generate Dynamic Behaviors of Workflow Net with Table.

[BibT_eX]

[DOI]

Comput. Informatics, 2022

Jian Song

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...