Modeling and Analysis of Workflows Using Petri Nets
Journal of Intelligent Information Systems - Special issue on workflow management systems
Formal Analysis of an Online Stock Trading System by Temporal Petri Nets
ICCNMC '01 Proceedings of the 2001 International Conference on Computer Networks and Mobile Computing (ICCNMC'01)
Reachability analysis of real-time systems using time Petri nets
IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics
With an application to workflow management based on colored Petri net
ASID'09 Proceedings of the 3rd international conference on Anti-Counterfeiting, security, and identification in communication
Hi-index | 0.00 |
This paper focuses on mitigating efficiently the problem of state explosion in Petri net models. A new modeling and analyzing method, logical Petri net workflows (LPNW), of the real-time systems with batch data process procedures is presented based on Petri net and workflow techniques. The use of LPNWs is illustrated by a useful example of a batch stock trading system. The properties and functional correctness of the modeled system are analyzed and verified formally on the basis of temporal logic. It has been sufficiently shown that this approach can avoid the problem of state explosion to a certain extent. Finally, further research work is proposed.