High-level Petri nets: theory and application
High-level Petri nets: theory and application
GreatSPN 1.7: graphical editor and analyzer for timed and stochastic Petri nets
Performance Evaluation - Special issue: performance modeling tools
Efficient Discrete-Event Simulation of Colored Petri Nets
IEEE Transactions on Software Engineering - Special issue: best papers of the sixth international workshop on Petri nets and performance models (PNPM'95)
A symbolic reachability graph for coloured Petri nets
Theoretical Computer Science
On optimistic methods for concurrency control
ACM Transactions on Database Systems (TODS)
Peer-to-Peer: Harnessing the Power of Disruptive Technologies
Peer-to-Peer: Harnessing the Power of Disruptive Technologies
Stochastic Well-Formed Colored Nets and Symmetric Modeling Applications
IEEE Transactions on Computers
Generalized Stochastic Petri Nets: A Definition at the Net Level and its Implications
IEEE Transactions on Software Engineering
Freeing Cooperation from Servers Tyranny
Revised Papers from the NETWORKING 2002 Workshops on Web Engineering and Peer-to-Peer Computing
Life-Cycle Inheritance: A Petri-Net-Based Approach
ICATPN '97 Proceedings of the 18th International Conference on Application and Theory of Petri Nets
Well-Defined Generalized Stochastic Petri Nets: A Net-Level Method to Specify Priorities
IEEE Transactions on Software Engineering
Electronic Notes in Theoretical Computer Science (ENTCS)
A high level language for structural relations in well-formed nets
ICATPN'05 Proceedings of the 26th international conference on Applications and Theory of Petri Nets
Hi-index | 0.00 |
Traditional support tools for software engineers, normally based on a client-server architecture, are unsuitable to deal with the new issues emerging from the current (and future) cooperative work scenarios (where connectivity is intrinsically transient, the number of interacting partners dynamically changes, etc.). This paper presents a quantitative assessment of a fully decentralized, peer-to-peer, cooperative infrastructure. Stochastic Well-formed Nets (SWNs) modeling the new peer-to-peer architecture, and a traditional (client-server) one, are developed and analyzed: we used SWNs for their ability to directly exploit the symmetries intrinsically present in the modeled systems in order to reduce the complexity of analysis/simulation. The goal is to compare the impact of the two alternative protocols on the collaborative work. The paper focuses on methodological issues concerning choice of an appropriate model abstraction level, adoption of a compositional modeling approach, and mainly, management of model solution complexity. Some performance figures of interest (selected among a number) are also presented and discussed.