ACM Transactions on Computer Systems (TOCS)
Performance models of multiprocessor systems
Performance models of multiprocessor systems
Towards reachability trees for high-level Petri nets
Advances in Petri Nets 1984
Modeling the software architecture of a prototype parallel machine
SIGMETRICS '87 Proceedings of the 1987 ACM SIGMETRICS conference on Measurement and modeling of computer systems
Stochastic High-Level Petri Nets and Applications
IEEE Transactions on Computers
High-level Petri nets: theory and application
High-level Petri nets: theory and application
IEEE Transactions on Parallel and Distributed Systems
Generalized Stochastic Petri Nets: A Definition at the Net Level and its Implications
IEEE Transactions on Software Engineering
International Workshop on Timed Petri Nets
Aggregation of States in Colored Stochastic Petri Nets: Application to a Multiprocessor Architecture
PNPM '89 The Proceedings of the Third International Workshop on Petri Nets and Performance Models
Automated Construction of Compound Markov Chains from Generalized Stochastic High-Level Petri Nets
PNPM '89 The Proceedings of the Third International Workshop on Petri Nets and Performance Models
A reduction theory for coloured nets
Advances in Petri Nets 1989, covers the 9th European Workshop on Applications and Theory in Petri Nets-selected papers
Proceedings of the 10th International Conference on Applications and Theory of Petri Nets: Advances in Petri Nets 1990
Proceedings of the 1995 ACM SIGMETRICS joint international conference on Measurement and modeling of computer systems
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)
Efficient descriptor-vector multiplications in stochastic automata networks
Journal of the ACM (JACM)
An Efficient Algorithm for Aggregating PEPA Models
IEEE Transactions on Software Engineering
CLOWN as a testbed for concurrent object-oriented concepts
Concurrent object-oriented programming and petri nets
Performance analysis of internet based software retrieval systems using Petri Nets
MSWIM '01 Proceedings of the 4th ACM international workshop on Modeling, analysis and simulation of wireless and mobile systems
On the use of partial symmetries for lumping Markov chains
ACM SIGMETRICS Performance Evaluation Review
Introducation to stochastic Petri nets
Lectures on formal methods and performance analysis
Computing Bounds for the Performance Indices of Quasi-Lumpable Stochastic Well-Formed Nets
IEEE Transactions on Software Engineering
Structured Solution of Asynchronously Communicating Stochastic Modules
IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering
WMC-CdeA '02 Revised Papers from the International Workshop on Membrane Computing
SAFECOMP '02 Proceedings of the 21st International Conference on Computer Safety, Reliability and Security
A Performance Engineering Case Study: Software Retrieval System
Performance Engineering, State of the Art and Current Trends
Manual and Automatic Exploitation of Symmetries in SPN Models
ICATPN '98 Proceedings of the 19th International Conference on Application and Theory of Petri Nets
SWN Analysis and Simulation of Large Knockout ATM Switches
ICATPN '98 Proceedings of the 19th International Conference on Application and Theory of Petri Nets
Proceedings of the 20th International Conference on Application and Theory of Petri Nets
Unfolding of Products of Symmetrical Petri Nets
ICATPN '01 Proceedings of the 22nd International Conference on Application and Theory of Petri Nets
The Möbius State-Level Abstract Functional Interface
TOOLS '02 Proceedings of the 12th International Conference on Computer Performance Evaluation, Modelling Techniques and Tools
Efficient simulation of SWN models
PNPM '95 Proceedings of the Sixth International Workshop on Petri Nets and Performance Models
Characterization of timed well-formed Petri nets behavior by means of occurrence equations
PNPM '95 Proceedings of the Sixth International Workshop on Petri Nets and Performance Models
On the success of stochastic Petri nets
PNPM '95 Proceedings of the Sixth International Workshop on Petri Nets and Performance Models
Evaluation of high level Petri nets by means of aggregation and decomposition
PNPM '95 Proceedings of the Sixth International Workshop on Petri Nets and Performance Models
Exploiting Stochastic Process Algebra Achievements for Generalized Stochastic Petri Nets
PNPM '97 Proceedings of the 6th International Workshop on Petri Nets and Performance Models
Structured Solution of Stochastic DSSP Systems
PNPM '97 Proceedings of the 6th International Workshop on Petri Nets and Performance Models
Performance prediction of a reconfigurable high voltage substation simulator: a case study using SWN
PNPM '97 Proceedings of the 6th International Workshop on Petri Nets and Performance Models
SS '96 Proceedings of the 29th Annual Simulation Symposium (SS '96)
The Möbius state-level abstract functional interface
Performance Evaluation - Modelling techniques and tools for computer performance evaluation
Well-Defined Generalized Stochastic Petri Nets: A Net-Level Method to Specify Priorities
IEEE Transactions on Software Engineering
On the performance analysis of ABR in ATM LANs with stochastic petri nets
Journal of Systems Architecture: the EUROMICRO Journal
Model-Based Evaluation: From Dependability to Security
IEEE Transactions on Dependable and Secure Computing
Automatic verification for a class of distributed systems
Distributed Computing
IPDPS '05 Proceedings of the 19th IEEE International Parallel and Distributed Processing Symposium (IPDPS'05) - Workshop 15 - Volume 16
An improved method for bounding stationary measures of finite Markov processes
Performance Evaluation - Performance 2005
Performance measures of a call admission control in mobile networks using SWN
valuetools '06 Proceedings of the 1st international conference on Performance evaluation methodolgies and tools
Backward Bisimulation in Markov Chain Model Checking
IEEE Transactions on Software Engineering
Performance evaluation of UML design with Stochastic Well-formed Nets
Journal of Systems and Software
Verification of a Hierarchical Generic Mutual Exclusion Algorithm
FORTE '08 Proceedings of the 28th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
The GreatSPN tool: recent enhancements
ACM SIGMETRICS Performance Evaluation Review
Non deterministic repairable fault trees for computing optimal repair strategy
Proceedings of the 3rd International Conference on Performance Evaluation Methodologies and Tools
Reflection symmetry detection to reduce the state space of Markovian models
Proceedings of the 47th Annual Southeast Regional Conference
Adapting Models to Model Checkers, A Case Study: Analysing AADL Using Time or Colored Petri Nets
RSP '09 Proceedings of the 2009 IEEE/IFIP International Symposium on Rapid System Prototyping
Modeling Clinical Guidelines through Petri Nets
AIME '09 Proceedings of the 12th Conference on Artificial Intelligence in Medicine: Artificial Intelligence in Medicine
(Toward) discrete-event simulation of reflective Petri nets
SpringSim '09 Proceedings of the 2009 Spring Simulation Multiconference
Building Efficient Model Checkers using Hierarchical Set Decision Diagrams and Automatic Saturation
Fundamenta Informaticae - Petri Nets 2008
From partially to fully lumped Markov chains in stochastic well formed Petri nets
Proceedings of the Fourth International ICST Conference on Performance Evaluation Methodologies and Tools
Multiple abstraction levels in performance analysis of WSN monitoring systems
Proceedings of the Fourth International ICST Conference on Performance Evaluation Methodologies and Tools
Efficient state-based analysis by introducing bags in Petri nets color domains
ACC'09 Proceedings of the 2009 conference on American Control Conference
Electronic Notes in Theoretical Computer Science (ENTCS)
Interactive Markov chains: and the quest for quantified quality
Interactive Markov chains: and the quest for quantified quality
Automatic symmetry detection in well-formed nets
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
Introduction to generalized stochastic Petri nets
SFM'07 Proceedings of the 7th international conference on Formal methods for performance evaluation
Markov decision Petri net and Markov decision well-formed net formalisms
ICATPN'07 Proceedings of the 28th international conference on Applications and theory of Petri nets and other models of concurrency
Symbolic partition refinement with automatic balancing of time and space
Performance Evaluation
Using Markov chain analysis to study dynamic behaviour in large-scale grid systems
AusGrid '09 Proceedings of the Seventh Australasian Symposium on Grid Computing and e-Research - Volume 99
Lumping partially symmetrical stochastic models
Performance Evaluation
Computing first passage time distributions in stochastic well-formed nets
Proceedings of the 2nd ACM/SPEC International Conference on Performance engineering
Architecting and validating dependable systems: experiences and visions
Architecting dependable systems VII
(Symbolic) state-space inspection of a class of dynamic Petri nets
Proceedings of the 2010 Summer Computer Simulation Conference
Self-reconfigurable modular robots and their symbolic configuration space
FOCS'10 Proceedings of the 16th Monterey conference on Foundations of computer software: modeling, development, and verification of adaptive systems
Stochastic Petri net models of Ca2+ signaling complexes and their analysis
Natural Computing: an international journal
A lumped Markov process for a class of dynamic Petri nets
Proceedings of the 44th Annual Simulation Symposium
Structured performance analysis for component-based systems
International Journal of Critical Computer-Based Systems
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
GreatSPN enhanced with decision diagram data structures
PETRI NETS'10 Proceedings of the 31st international conference on Applications and Theory of Petri Nets
Tools for performance evaluation of computer systems: historical evolution and perspectives
PERFORM'10 Proceedings of the 2010 IFIP WG 6.3/7.3 international conference on Performance Evaluation of Computer and Communication Systems: milestones and future challenges
Structured analysis for component-based systems: an EJB/CORBA application
VECoS'07 Proceedings of the First international conference on Verification and Evaluation of Computer and Communication Systems
Computing a hierarchical static order for decision diagram-based representation from p/t nets
Transactions on Petri Nets and Other Models of Concurrency V
Colored stochastic Petri nets for modelling and analysis of multiclass retrial systems
Mathematical and Computer Modelling: An International Journal
Building Efficient Model Checkers using Hierarchical Set Decision Diagrams and Automatic Saturation
Fundamenta Informaticae - Petri Nets 2008
PETRI NETS'12 Proceedings of the 33rd international conference on Application and Theory of Petri Nets
Extreme symmetries in complex distributed systems: the bag-oriented approach
Proceedings of the 17th Monterey conference on Large-Scale Complex IT Systems: development, operation and management
Efficient simulation of stochastic well-formed nets through symmetry exploitation
Proceedings of the Winter Simulation Conference
Proceedings of the 2013 ACM SIGSIM conference on Principles of advanced discrete simulation
Hi-index | 14.98 |
The class of stochastic well-formed colored nets (SWN's) was defined as a syntactic restriction of stochastic high-level nets. The interest of the introduction of restrictions in the model definition is the possibility of exploiting the symbolic reachability graph (SRG) to reduce the complexity of Markovian performance evaluation with respect to classical Petri net techniques. It turns out that SWN's allow the representation of any color function in a structured form, so that any unconstrained high-level net can be transformed into a well-formed net. Moreover, most constructs useful for the modeling of distributed computer systems and architectures directly match the "well-formed" restriction, without any need of transformation. A nontrivial example of the usefulness of the technique in the performance modeling and evaluation of multiprocessor architectures is included.