Jiacun Wang

Guanjun Liu

Proceedings of the 18th IEEE International Conference on Automation Science and Engineering, 2022

Healthcare Patient Flow Modeling and Analysis with Timed Petri Nets.

[BibT_eX]

[DOI]

Proceedings of the Advances in Computing, Informatics, Networking and Cybersecurity, 2022

Proximal Policy Optimization Algorithm for Multi-objective Disassembly Line Balancing Problems.

[BibT_eX]

[DOI]

Proceedings of the Australian & New Zealand Control Conference, 2022

Discrete Fruit Fly Optimization Algorithm for Disassembly Line Balancing Problems by Considering Human Worker's Learning Effect.

[BibT_eX]

[DOI]

Proceedings of the Australian & New Zealand Control Conference, 2022

2021

Guest Editorial Advanced Machine Learning on Cognitive Computing for Human Behavior Analysis.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Soc. Syst., 2021

Dynamic hand gesture recognition based on short-term sampling neural networks.

[BibT_eX]

[DOI]

Wenjin Zhang

Fangping Lan

IEEE CAA J. Autom. Sinica, 2021

2020

Special issue on multimedia fog/edge computing systems.

[BibT_eX]

[DOI]

Multim. Syst., 2020

Deep Learning Based Hand Gesture Recognition and UAV Flight Controls.

[BibT_eX]

[DOI]

Bin Hu

Int. J. Autom. Comput., 2020

2019

Measuring Business Process Consistency Across Different Abstraction Levels.

[BibT_eX]

[DOI]

IEEE Trans. Netw. Serv. Manag., 2019

A Trust-Based Formal Model for Fault Detection in Wireless Sensor Networks.

[BibT_eX]

[DOI]

Na Wang

Xuemin Chen

Sensors, 2019

A simulation engine for stochastic timed petri nets and application to emergency healthcare systems.

[BibT_eX]

[DOI]

Jiani Zhou

Jun Wang

IEEE CAA J. Autom. Sinica, 2019

Dynamic Hand Gesture Recognition Based on 3D Convolutional Neural Network Models.

[BibT_eX]

[DOI]

Wenjin Zhang

Proceedings of the 16th IEEE International Conference on Networking, Sensing and Control, 2019

Discrete Spatial Data Reconstruction based on Deep Neural Network.

[BibT_eX]

[DOI]

Yi Du

Ting Zhang

Proceedings of the 16th IEEE International Conference on Networking, Sensing and Control, 2019

2018

Measuring Data-Aware Process Consistency Based on Activity Constraint Graphs.

[BibT_eX]

[DOI]

IEEE Access, 2018

Locating and Controlling Unsound Transitions in Workflow Systems Based on Workflow Net With Data Constraints.

[BibT_eX]

[DOI]

IEEE Access, 2018

Emergency healthcare resource requirement analysis: A stochastic timed Petri net approach.

[BibT_eX]

[DOI]

Jiarui Tian

Ruoyan Sun

Proceedings of the 15th IEEE International Conference on Networking, Sensing and Control, 2018

2016

Human activity recognition based on transformed accelerometer data from a mobile phone.

[BibT_eX]

[DOI]

Xia Heng

Zhongmin Wang

Int. J. Commun. Syst., 2016

Cyclic workflow resource requirement analysis and application in healthcare.

[BibT_eX]

[DOI]

Xiaoou Li

Gaiyun Liu

Proceedings of the 13th International Workshop on Discrete Event Systems, 2016

Faster parking and less cruise for public parking spot discovery: Modeling and analysis based on Timed Petri Nets.

[BibT_eX]

[DOI]

Proceedings of the 13th IEEE International Conference on Networking, Sensing, and Control, 2016

Simulation analysis of EKF and UKF implementations in PHD filter.

[BibT_eX]

[DOI]

Xiaoying Wang

Proceedings of the 13th IEEE International Conference on Networking, Sensing, and Control, 2016

Resource requirement analysis for cyclic workflows.

[BibT_eX]

[DOI]

Proceedings of the 13th IEEE International Conference on Networking, Sensing, and Control, 2016

2015

Demand-side energy simulation, assessment and optimization.

[BibT_eX]

[DOI]

Jianrong Qin

Proceedings of the 12th IEEE International Conference on Networking, Sensing and Control, 2015

2014

A novel method for Web Service Composition based on extended BDI.

[BibT_eX]

[DOI]

Proceedings of 11th IEEE International Conference on Networking, Sensing and Control, 2014

Electrical load schedule optimization for manufacturing plants.

[BibT_eX]

[DOI]

Fei Hu

Jianrong Qin

Proceedings of 11th IEEE International Conference on Networking, Sensing and Control, 2014

2013

Resource Oriented Workflow Nets and Workflow Resource Requirement Analysis.

[BibT_eX]

[DOI]

Int. J. Softw. Eng. Knowl. Eng., 2013

Petri net based resource modeling and analysis of workflows with task failures.

[BibT_eX]

[DOI]

Proceedings of 10th IEEE International Conference on Networking, Sensing and Control, 2013

2012

Emergency Healthcare Workflow Modeling and Timeliness Analysis.

[BibT_eX]

[DOI]

IEEE Trans. Syst. Man Cybern. Part A, 2012

Traffic information collecting algorithms for road selection decision support in vehicle ad hoc networks.

[BibT_eX]

[DOI]

Qiuran Li

Int. J. Simul. Process. Model., 2012

Towards True Dynamic Workflow for Emergency Response.

[BibT_eX]

[DOI]

Int. J. Softw. Informatics, 2012

Resource Modeling and Analysis for Workflows: A Petri Net Approach.

[BibT_eX]

Proceedings of the 24th International Conference on Software Engineering & Knowledge Engineering (SEKE'2012), 2012

Resource modeling and analysis for workflows.

[BibT_eX]

[DOI]

Proceedings of 9th IEEE International Conference on Networking, Sensing and Control, 2012

2011

Navigation function design for backbone connectivity in vehicle ad hoc networks.

[BibT_eX]

[DOI]

Comput. Math. Appl., 2011

2010

Map Synchronization and Alternatives Optimization for Firefighters Cooperative Decision Support in Ad Hoc Networks.

[BibT_eX]

[DOI]

J. Networks, 2010

Using the Power Control and Cooperative Communication for Energy Saving in Mobile Ad Hoc Networks.

[BibT_eX]

[DOI]

Commun. Netw., 2010

Design and development of an Earthquake Disaster Simulator.

[BibT_eX]

[DOI]

Bryan Gonzales

Allen E. Milewski

Proceedings of the IEEE International Conference on Systems, 2010

Real-Time Workflow Modeling and Analysis in Emergency Response.

[BibT_eX]

Proceedings of the 2010 International Conference on Software Engineering Research & Practice, 2010

Connectivity Control Methods and Decision Algorithms Using Neural Network in Decentralized Networks.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Networks, 2010

A perspective of PSP modeling based on control theory.

[BibT_eX]

[DOI]

Yingying Zhu

Xianzhong Zhou

Proceedings of the IEEE International Conference on Networking, Sensing and Control, 2010

2009

Emergency Response Workflow Resource Requirements Modeling and Analysis.

[BibT_eX]

[DOI]

IEEE Trans. Syst. Man Cybern. Part C, 2009

A Cooperative Location Management Scheme for Mobile Ad Hoc Networks.

[BibT_eX]

[DOI]

Int. J. Commun. Netw. Syst. Sci., 2009

Agent based emergency response workflow management.

[BibT_eX]

[DOI]

Proceedings of the 2009 IEEE/INFORMS International Conference on Service Operations, 2009

WIFAi - A tool suite for the modeling and enactment of inter-organizational workflows.

[BibT_eX]

[DOI]

Michael Tarullo

Proceedings of the 2009 IEEE/INFORMS International Conference on Service Operations, 2009

Systems Modeling for IP-Based Handoff Using Timed Petri Nets.

[BibT_eX]

[DOI]

Proceedings of the 42st Hawaii International International Conference on Systems Science (HICSS-42 2009), 2009

2008

Dynamic Workflow Modeling and Analysis in Incident Command Systems.

[BibT_eX]

[DOI]

Allen E. Milewski

Michael Stoute

IEEE Trans. Syst. Man Cybern. Part A, 2008

MFDSSF: A Mobile Fuzzy Decision Support System for Firefighter Cooperation in Ad Hoc Networks.

[BibT_eX]

[DOI]

Proceedings of the IFIP International Conference on Network and Parallel Computing, 2008

Workflow Resource Requirement Modeling and Analysis.

[BibT_eX]

[DOI]

Anni Tsai

Proceedings of the IEEE International Conference on Networking, Sensing and Control, 2008

An Efficient Gateway Election and Location Service in Ad Hoc Networks.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Networking, Sensing and Control, 2008

2007

Petri Nets for Dynamic Event-Driven System Modeling.

[BibT_eX]

[DOI]

Proceedings of the Handbook of Dynamic System Modeling., 2007

Charging Information Collection Modeling and Analysis of GPRS Networks.

[BibT_eX]

[DOI]

IEEE Trans. Syst. Man Cybern. Part C, 2007

Resource-Constrained Workflow Modeling.

[BibT_eX]

[DOI]

Anni Tsai

Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, 2007

Location Management Cost Estimation for PCS Using Neural Network.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Networks, 2007

Inter-organizational Workflow Modeling and Analysis of Incident Command Systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Networking, Sensing and Control, 2007

2006

EPC Workflow Model to WIFA Model Conversion.

[BibT_eX]

[DOI]

Anni Tsai

Proceedings of the IEEE International Conference on Systems, 2006

RFID-based Tag-Along Displays for Incident Command System Workflow Management.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Systems, 2006

Dynamic Workflow Modeling and Verification.

[BibT_eX]

[DOI]

Proceedings of the Advanced Information Systems Engineering, 18th International Conference, 2006

2005

Formally modeling and analyzing a secure mobile agent finder.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Systems, 2005

An Intuitive Formal Approach to Dynamic Workflow Modeling and Analysis.

[BibT_eX]

[DOI]

Allen E. Milewski

Michael Stoute

Proceedings of the Business Process Management, 3rd International Conference, 2005

2004

Consistency verification in modeling of real-time systems.

[BibT_eX]

[DOI]

Mengchu Zhou

IEEE Trans. Robotics Autom., 2004

Constraint Propagation And Progressive Verification For Component-Based Process Model.

[BibT_eX]

[DOI]

Int. J. Softw. Eng. Knowl. Eng., 2004

2003

An Approach for Modeling and Analysis of Security System Architectures.

[BibT_eX]

[DOI]

IEEE Trans. Knowl. Data Eng., 2003

2001

Formal Analysis of Software Security System Architectures.

[BibT_eX]

[DOI]

Jeffrey J. P. Tsai

Proceedings of the Fifth International Symposium on Autonomous Decentralized Systems, 2001

2000

Compositional time Petri nets and reduction rules.

[BibT_eX]

[DOI]

Mengchu Zhou

IEEE Trans. Syst. Man Cybern. Part B, 2000

Reachability analysis of real-time systems using time Petri nets.

[BibT_eX]

[DOI]

Gang Xu

IEEE Trans. Syst. Man Cybern. Part B, 2000

Performance Analysis of Traffic Control Systems Based upon Stochastic Timed Petri Net Models.

[BibT_eX]

[DOI]

Chun Jin

Int. J. Softw. Eng. Knowl. Eng., 2000

1999

Incremental modeling and verification of flexible manufacturing systems.

[BibT_eX]

[DOI]

J. Intell. Manuf., 1999

Introducing software architecture specification and analysis in SAM through an example.

[BibT_eX]

[DOI]

Xudong He

Inf. Softw. Technol., 1999

Integrated Architectural Modeling and Analysis for High-Assurance Command and Control System Design.

[BibT_eX]

[DOI]

Ann. Softw. Eng., 1999

Performance Analysis of Traffic Networks Based on Stochastic Timed Petri Net Models.

[BibT_eX]

[DOI]

Chun Jin

Proceedings of the 5th International Conference on Engineering of Complex Computer Systems (ICECCS '99), 1999

Performance Analysis of Traffic Control System Based on Stochastic Timed Petri Net Models.

[BibT_eX]

[DOI]

Chun Jin

Proceedings of the 23rd International Computer Software and Applications Conference (COMPSAC '99), 1999

1998

Component-level reduction rules for time Petri nets with application in C2 systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, 1998

Incremental Architectural Modeling and Verification of Real-Time Concurrent Systems.

[BibT_eX]

[DOI]