Related Experiment Video
Updated: Aug 30, 2026

A Computational Modeling Approach to Investigate the Influence of Hyperthermia on the Tumor Microenvironment
Published on: December 1, 2023
Approach for workflow modeling using pi-calculus
1Department of Industrial Engineering, Shanghai Jiaotong University, Shanghai 200030,China. dongyangcn@hotmail.com
Abstract:
As a variant of process algebra, Pi-calculus can describe the interactions between evolving processes. By modeling activity as a process interacting with other processes through ports, this paper presents a new approach: representing workflow models using Pi-calculus. As a result, the model can characterize the dynamic behaviors of the workflow process in terms of the LTS (Labeled Transition Semantics) semantics of Pi-calculus. The main advantage of the workflow model's formal semantic is that it allows for verification of the model's properties, such as deadlock-free and normal termination. Moreover, the equivalence of workflow models can be checked through weak bisimulation theorem in the Pi-calculus, thus facilitating the optimization of business processes.
More Related Videos
10:50Computational Modeling of Retinal Neurons for Visual Prosthesis Research - Fundamental Approaches
Published on: June 21, 2022
06:12Modeling the Endothelial Glycocalyx Post-Pneumonectomy in a 3D Fluidic Chip - An Approach to Fabricating a Vascular-based Organ-on-Chip System
Published on: September 16, 2025
Related Concept Videos
Fundamental Mathematical Principles in Pharmacokinetics: Calculus and Graphs
On the other hand, integral calculus focuses on...
Mathematical Modeling: Problem Solving
Model Approaches for Pharmacokinetic Data: Compartment Models
Two primary types of compartment models are recognized: mammillary and catenary. The more...
Pharmacokinetic Models: Overview
There are three primary types of models: empirical, compartment, and physiological. Empirical models, with minimal assumptions,...
Model Approaches for Pharmacokinetic Data: Distributed Parameter Models
The distributed parameter models are specifically designed to account for variations and differences in some drug classes. This model is particularly useful for assessing regional concentrations of anticancer or...
Impact of Pharmacokinetic–Pharmacodynamic Models: Regulatory Decisions