Schedulability Analysis of Petri Nets Based on Structural Properties
ACSD '06 Proceedings of the Sixth International Conference on Application of Concurrency to System Design
Coding Mobile Synchronizing Petri Nets into Rewriting Logic
Electronic Notes in Theoretical Computer Science (ENTCS)
Action Patterns in Business Process Models
ICSOC-ServiceWave '09 Proceedings of the 7th International Joint Conference on Service-Oriented Computing
Visual change tracking for business process models
ER'11 Proceedings of the 30th international conference on Conceptual modeling
Modeling traffic signal control using Petri nets
IEEE Transactions on Intelligent Transportation Systems
Hi-index | 0.00 |
In this paper, UML and object-oriented Petri net are combined to model the distributed business process of the supply chain of virtual enterprises. First the virtual enterprise global business process model is established by using UML sequence diagram. Then the previously established model is converted to Petri net model. Finally emulation tool Hpsim of Petri net is applied to carry out emulation operation to analyze the reasonability of the Petri net model.