IEEE Transactions on Computers
Colored Petri nets (vol. 3)
Static Analysis and Dynamic Steering of Time-Dependent Systems
IEEE Transactions on Software Engineering
Binding telecooperation---a formal model for electronic commerce
Computer Networks: The International Journal of Computer and Telecommunications Networking
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)
Distributed electronic trade scenarios: representation, design, prototyping
International Journal of Electronic Commerce - Special issue: Formal aspects of digital commerce
Reachability analysis of real-time systems using time Petri nets
IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics
Modeling and monitoring of E-commerce workflows
Information Sciences: an International Journal
Hi-index | 0.00 |
Temporal colored Petri nets, an extension of temporal Petri nets, are introduced in this paper. It can distinguish the personality of individuals (tokens), describe clearly the causal and temporal relationships between events in concurrent systems, and represent elegantly certain fundamental properties of concurrent systems, such as eventuality and fairness. The use of this method is illustrated with an example of modeling and formal verification of an online stock trading system. The functional correctness of the modeled system is formally verified based on the temporal colored Petri net model and temporal assertions. Also, some main properties of the system are analyzed. It has been demonstrated sufficiently that temporal colored Petri nets can verify efficiently some time-related properties of concurrent systems, and provide both the power of dynamic representation graphically and the function of logical inference formally. Finally, future work is described.