ACM Transactions on Computer Systems (TOCS)
Petri net semantics of priority systems
Selected papers of the Second Workshop on Concurrency and compositionality
On the border of causality: contact and confusion
Theoretical Computer Science - Special volume on Petri nets
IEEE Transactions on Software Engineering - Special issue: best papers of the sixth international workshop on Petri nets and performance models (PNPM'95)
Journal of Systems Architecture: the EUROMICRO Journal - Special double issue: real-time systems
Modeling ATM systems with GSPNs and SWNs
ACM SIGMETRICS Performance Evaluation Review - Special issue on Stochastic Petri Nets
Performance analysis of TCP connections sharing a congested Internet link
Performance Evaluation - Special issue on internet performance modelling
Integrating synchronization with priority into a Kronecker representation
Performance Evaluation
Accurate approximate analysis of cell-based switch architectures
Performance Evaluation
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
Modelling with Generalized Stochastic Petri Nets
ACM SIGMETRICS Performance Evaluation Review - Special issue on Stochastic Petri Nets
Stochastic Well-Formed Colored Nets and Symmetric Modeling Applications
IEEE Transactions on Computers
Complete Decomposition of Stochastic Petri Nets Representing Generalized Service Networks
IEEE Transactions on Computers
Generalized Stochastic Petri Nets: A Definition at the Net Level and its Implications
IEEE Transactions on Software Engineering
The PSR Methodology: Integrating Hardware and Software Models
Proceedings of the 17th International Conference on Application and Theory of Petri Nets
Analysis of Petri Nets with a Dynamic Priority Method
ICATPN '97 Proceedings of the 18th International Conference on Application and Theory of Petri Nets
Well-defined stochastic Petri nets
MASCOTS '96 Proceedings of the 4th International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunications Systems
Clarifying the Priority Specification of GSPN: Detached Priorities
PNPM '99 Proceedings of the The 8th International Workshop on Petri Nets and Performance Models
IEEE Transactions on Software Engineering
Electronic Notes in Theoretical Computer Science (ENTCS)
Expressiveness and efficient analysis of stochastic well-formed nets
ICATPN'05 Proceedings of the 26th international conference on Applications and Theory of Petri Nets
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
Proceedings of the 5th International ICST Conference on Performance Evaluation Methodologies and Tools
PETRI NETS'13 Proceedings of the 34th international conference on Application and Theory of Petri Nets and Concurrency
| Hi-index | 0.01 |
Generalized Stochastic Petri Nets (GSPN), with immediate transitions, are extensively used to model concurrent systems in a wide range of application domains, particularly including software and hardware aspects of computer systems, and their interactions. These models are typically used for system specification, logical and performance analysis, or automatic code generation. In order to keep modeling separate from the analysis and to gain in efficiency and robustness of the modeling process, the complete specification of the stochastic process underlying a model should be guaranteed at the net level, without requiring the generation and exploration of the state space. In this paper, we propose a net-level method that guides the modeler in the task of defining the priorities (and weights) of immediate transitions in a GSPN model, to deal with confusion and conflict problems. The application of this method ensures well-definition without reducing modeling flexibility or expressiveness.