Jian Song

Orcid: 0000-0002-2958-7509

Affiliations:

Tongji University, Shanghai, China

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

Collaborative distances:

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

Timeline

Legend:

Book In proceedings Article PhD thesis Dataset Other

Bibliography

2026

A fault diagnosis method for systems based on labeled time Petri nets with tables.

[BibT_eX]

[DOI]

Jian Song

Guanjun Liu

Comput. J., 2026

2025

An Innovative Formal Verification Method Based on Timed Petri Nets With Integrated Database Tables.

[BibT_eX]

[DOI]

IEEE Trans. Syst. Man Cybern. Syst., October, 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...