Leifeng He
Orcid: 0000-0002-0167-6657
According to our database1,
Leifeng He
authored at least 11 papers
between 2016 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
Prioritized Time-Point-Interval Petri Nets Modeling Multiprocessor Real-Time Systems and TCTL$_{x}$.
IEEE Trans. Ind. Informatics, August, 2023
IEEE Trans. Comput. Soc. Syst., April, 2023
Proceedings of the IEEE International Conference on Networking, Sensing and Control, 2023
2022
Guard-Function-Constraint-Based Refinement Method to Generate Dynamic Behaviors of Workflow Net with Table.
Comput. Informatics, 2022
2021
Verifying Computation Tree Logic of Knowledge via Knowledge-Oriented Petri Nets and Ordered Binary Decision Diagrams.
Comput. Informatics, 2021
Petri Net Based CTL Model Checking: Using a New Method to Construct OBDD Variable Order.
Proceedings of the International Symposium on Theoretical Aspects of Software Engineering, 2021
2020
CoRR, 2020
Petri Nets Based Verification of Epistemic Logic and Its Application on Protocols of Privacy and Security.
Proceedings of the 2020 IEEE World Congress on Services, 2020
2019
Proceedings of the 21st IEEE International Conference on High Performance Computing and Communications; 17th IEEE International Conference on Smart City; 5th IEEE International Conference on Data Science and Systems, 2019
2016
A Reduction Method of Analyzing Data-Liveness and Data-Boundedness for a Class of E-commerce Business Process Nets.
Proceedings of the Security, Privacy, and Anonymity in Computation, Communication, and Storage, 2016
A Sufficient and Necessary Condition to Decide Compatibility for Simple Circuit Inter-organization Workflow Nets.
Proceedings of the Advances in Services Computing, 2016