Dynamic power management of complex systems using generalized stochastic Petri nets
Proceedings of the 37th Annual Design Automation Conference
Process algebra for performance evaluation
Theoretical Computer Science
Process algebras for systems diagnosis
Artificial Intelligence
A comparison of performance evaluation process algebra and generalized stochastic Petri nets
PNPM '95 Proceedings of the Sixth 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
On assembly sequence planning using Petri nets
ISATP '95 Proceedings of the 1995 IEEE International Symposium on Assembly and Task Planning
Towards modeling and evaluation of ETCS real-time communication and operation
Journal of Systems and Software - Special issue: Parallel and distributed real-time systems
Characterizing dynamics of information leakage in security-sensitive software process
ACSW Frontiers '05 Proceedings of the 2005 Australasian workshop on Grid computing and e-research - Volume 44
Theoretical Computer Science - Tools and algorithms for the construction and analysis of systems (TACAS 2004)
Versatile stochastic models for networks with asymmetric TCP sources
Performance Evaluation
Information Assurance: Dependability and Security in Networked Systems
Information Assurance: Dependability and Security in Networked Systems
Towards a library of composable models to estimate the performance of security solutions
WOSP '08 Proceedings of the 7th international workshop on Software and performance
ATVA '08 Proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis
Time Distribution in Structural Workflow Nets
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Monotonicity in Service Orchestrations
PETRI NETS '09 Proceedings of the 30th International Conference on Applications and Theory of Petri Nets
A Petri net-based approach to modeling and analysis of component-based distributed real-time systems
SEA '07 Proceedings of the 11th IASTED International Conference on Software Engineering and Applications
IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews
A Framework for Stochastic System Modelling and Analysis
Electronic Notes in Theoretical Computer Science (ENTCS)
Modeling of the human body using stochastic Petri nets
MS '08 Proceedings of the 19th IASTED International Conference on Modelling and Simulation
Numerical investigation of finite-source multiserver systems with different vacation policies
Journal of Computational and Applied Mathematics
TACAS'03 Proceedings of the 9th international conference on Tools and algorithms for the construction and analysis of systems
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
Building Petri nets from video event ontologies
ISVC'07 Proceedings of the 3rd international conference on Advances in visual computing - Volume Part I
The TIRAN approach to reusing software implemented fault tolerance
EURO-PDP'00 Proceedings of the 8th Euromicro conference on Parallel and distributed processing
Propagating uncertainty in Petri nets for activity recognition
ISVC'10 Proceedings of the 6th international conference on Advances in visual computing - Volume Part II
Petri net representation of multi-valued logical regulatory graphs
Natural Computing: an international journal
Natural Computing: an international journal
An algorithmic approach for analysis of finite-source retrial systems with unreliable servers
Computers & Mathematics with Applications
Defining Formalisms for Performance Evaluation With SIMTHESys
Electronic Notes in Theoretical Computer Science (ENTCS)
Performance evaluation of schedulers in a probabilistic setting
FORMATS'11 Proceedings of the 9th international conference on Formal modeling and analysis of timed systems
Comparison of different semantics for time petri nets
ATVA'05 Proceedings of the Third international conference on Automated Technology for Verification and Analysis
Exploiting multiformalism models for testing and performance evaluation in SIMTHESys
Proceedings of the 5th International ICST Conference on Performance Evaluation Methodologies and Tools
Model-Driven performance analysis of UML design models based on stochastic process algebra
ECMDA-FA'05 Proceedings of the First European conference on Model Driven Architecture: foundations and Applications
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
Colored stochastic Petri nets for modelling and analysis of multiclass retrial systems
Mathematical and Computer Modelling: An International Journal
A queuing network model for minimizing the total makespan of computational grids
Computers and Electrical Engineering
Time Distribution in Structural Workflow Nets
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
QoS and energy management with Petri nets: A self-adaptive framework
Journal of Systems and Software
The SIMTHESys multiformalism modeling framework
Computers & Mathematics with Applications
Region-Based analysis of hybrid petri nets with a single general one-shot transition
FORMATS'12 Proceedings of the 10th international conference on Formal Modeling and Analysis of Timed Systems
Confluence reduction for markov automata
FORMATS'13 Proceedings of the 11th international conference on Formal Modeling and Analysis of Timed Systems
Automated rare event simulation for stochastic petri nets
QEST'13 Proceedings of the 10th international conference on Quantitative Evaluation of Systems
| Hi-index | 0.00 |
From the Publisher:This book presents a unified theory of Generalized Stochastic Petri Nets (GSPNs) together with a set of illustrative examples from different application fields. The continuing success of GSPNs and the increasing interest in using them as a modelling paradigm for the quantitative analysis of distributed systems suggested the preparation of this volume with the intent of providing newcomers to the field with a useful tool for their first approach. Readers will find a clear and informal explanation of the concepts followed by formal definitions when necessary or helpful. The largest section of the book however is devoted to showing how this methodology can be applied in a range of domains.