ACM Computing Surveys (CSUR)
Elements of General Net Theory
Proceedings of the Advanced Course on General Net Theory of Processes and Systems: Net Theory and Applications
PeNeTo; A Petri Net Simulator for Fast Safety and Quality Analysis and Cost - Prediction
Proceedings of the 16th European Simulation Multiconference on Modelling and Simulation 2002
Specification and verification of distributed systems using prolog interpreted petri nets.
ICSE '84 Proceedings of the 7th international conference on Software engineering
Design and verification of communication procedures: A bottom-up approach
ICSE '78 Proceedings of the 3rd international conference on Software engineering
Hi-index | 0.00 |
This paper proposes an analysis process and tools for analysing collaboration task. In order to analyse the collaboration task, it is important to grasp not only the workflow in the entire system, but also the flow of the personnel who are engaged in collaboration. The general workflow and the flow of personnel in collaborative systems are usually distributed and concurrent. Petri nets are ideal modelling tools for the description and analysis of concurrent systems. However, the flexibility in the Petri net constructs can at times lead to the introduction of the analyst's subjectivity in the description and analysis of a system. This fact, particularly in the case of collaborative systems, fails to depict their client-server feature. We propose disciplined client-server Peri nets and a suit of tools that aid the description, analysis and performance evaluation of collaborative systems. The Petri net Editor serves as a drawing board to sketch the system diagram; the Petri net Visualizer gives a visual display of the system operation and the Petri net Simulator simulates the system operation. By using these tools, the behaviour of the Petri net can be captured and the system performance can be estimated. We also present Petri net models of two practical collaborative systems with distributed and concurrent service and estimate their performance by using the tools that we have designed.