Modelling with Generalized Stochastic Petri Nets

No abstract is available for this paper.

• Publication year

  1995

• Venue

  PERV

• Publication date

  1995-11-28

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1145/288197.581193
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Process Algebra and Markov Chains

  2002cited by this paper
• Stochastic Activity Networks: Formal Definitions and Concepts

  2002cited by this paper
• Markovian Models for Performance and Dependability Evaluation

  2002cited by this paper
• Compositionality in the GreatSPN tool and its application to the modelling of industrial applications

  2000cited by this paper
• Woflan 2.0: A Petri-Net-Based Workflow Diagnosis Tool

  2000cited by this paper
• Analysing the WAP Class 2 Wireless Transaction Protocol Using Coloured Petri Nets

  2000cited by this paper
• Capacity Planning of Web Servers using Timed Hierarchical Coloured Petri Nets

  1999cited by this paper
• Visualising the Behaviour of Intelligent Networks

  1998cited by this paper
• Performance Modelling with Deterministic and Stochastic Petri Nets

  1998cited by this paper
• The practitioner’s guide to coloured Petri nets

  1998cited by this paper
• Simulation with Arena

  1998cited by this paper
• Analysing a mechatronic system with coloured Petri nets

  1998cited by this paper
• Continuous and Hybrid Petri Nets

  1998cited by this paper
• An analysis of Web server performance

  1997cited by this paper
• Modeling the performance of HTTP over several transport protocols

  1997cited by this paper
• On the Abstraction of Coloured Petri Nets

  1997cited by this paper
• Experimental Design for Sensitivity Analysis, Optimization and Validation of Simulation Models

  1997cited by this paper
• Message Sequence Chart (MSC)

  1996cited by this paper
• A compositional approach to performance modelling

  1996cited by this paper
• The State Explosion Problem

  1996cited by this paper
• A framework for rare event simulation of stochastic Petri nets using “RESTART”

  1996cited by this paper
• HTML: The Definitive Guide

  1996cited by this paper
• A framework for rare event simulation of stochastic petri nets using "restart"

  1996cited by this paper
• NCSA's World Wide Web Server: Design and Performance

  1995cited by this paper
• TimeNET-a toolkit for evaluating non-Markovian stochastic Petri nets

  1995cited by this paper
• The UltraSAN Modeling Environment

  1995cited by this paper
• An environment for importance sampling based on stochastic activity networks

  1994cited by this paper
• Design patterns: elements of reuseable object-oriented software

  1994cited by this paper
• The PEPA Workbench: A Tool to Support a Process Algebra-based Approach to Performance Modelling

  1994cited by this paper
• Stochastic Well-Formed Colored Nets and Symmetric Modeling Applications

  1993cited by this paper
• DSPNexpress: A Software Package for the Efficient Solution of Deterministic and Stochastic Petri Nets

  1993cited by this paper
• A Unified Approach for Specifying Measures of Performance, Dependability and Performability

  1991cited by this paper
• The art of computer systems performance analysis - techniques for experimental design, measurement, simulation, and modeling

  1990cited by this paper
• Introduction to Simulation Using Siman

  1990cited by this paper
• Construction and solution of performability models based on stochastic activity networks

  1988cited by this paper
• A reduction theory for coloured nets

  1988cited by this paper
• High-level Petri Nets

  1982cited by this paper
• On the integration of delay and throughput measures in distributed processing models

  1981cited by this paper
• Introduction to Automata Theory, Languages and Computation

  1979cited by this paper
• Kommunikation mit Automaten

  1962cited by this paper
• Annotating Coloured Petri Nets

  year unknowncited by this paper

• Enhanced Modelling and Analysis of Cyber‐Physical System Security Against DoS Attacks Using Generalised Stochastic Petri Nets

  2026cites this paper
• Exploiting Performance Scaling and Predictive Modeling for SA-HPL: From Multicore to Distributed Systems

  2025cites this paper
• Assessing Safety and Sustainability of a Monitoring System for Nuclear Waste Management

  2025cites this paper
• Availability Assessment of Offshore Wind Turbines with Condition-based Opportunistic Maintenance Using GSPN

  2025cites this paper
• Quantitative Modeling and Evaluation of Software Aging and Rejuvenation in Microservices

  2025cites this paper
• A stochastic Petri net model of jamming attacks on remote-controlled switches during service restoration

  2025cites this paper
• Alignment-based conformance checking for stochastic Petri nets

  2025cites this paper
• Quantitative Risk Assessment for Cloud‐Based Software Migration Processes

  2025cites this paper
• A Stochastic Performance Model And a Sensitivity Analysis of a Battery Swapping Station System for Electric Vehicles*

  2025cites this paper
• Reliability Assessment of Passive Nuclear Systems Influenced by Corrosion in Stratified Hot Fluids

  2025cites this paper
• Modeling and analysis of worm computing systems based on stochastic petri nets

  2025cites this paper
• Stochastic Battery Degradation Modeling Considering Cell-to-Cell Current Interactions

  2025cites this paper
• A Review on Integration of Ultrasonic Vibration in Machining of Difficult-to-Cut Materials

  2025cites this paper
• A novel object-oriented Petri net framework with logic programming for discrete and continuous event simulations

  2025cites this paper
• Reliability and performance evaluation of retrial repairable systems with an unreliable repairer using the GSPN model

  2025cites this paper
• Event-Driven Object Enhanced Time Petri Nets Verification Towards Dense-Time

  2025cites this paper
• A Framework for Iterative Verification and Validation of Prescriptive MILP Scheduling Models Based on Petri Nets

  2025cites this paper
• From GSPNs to STAs: Bridging Stochastic Modeling

  2025cites this paper
• A comprehensive performance evaluation of container migration strategies

  2025cites this paper
• Simulation-Based Parameter Optimization for Self-adaptive HPL on Parallel Systems

  2025cites this paper
• Models for Throughput Maximisation in Distributed Systems

  2025cites this paper
• Abstract-and-compare stochastic conformance checking

  2025cites this paper
• Embedding and elimination for performance analysis in stochastic process algebra dtsdPBC

  2024influential citation
• A Bisimulation-Based Foundation for Scale Reductions of Continuous-Time Markov Chains

  2024cites this paper
• Synthesis of Free-Labeled Petri Nets with Inhibitor Arcs

  2024cites this paper
• Ensuring IoT Controller Reliability with Colored Generalized Stochastic Petri Net

  2024cites this paper
• Probabilistic Nets-within-Nets

  2024cites this paper
• Partially ordered stochastic conformance checking

  2024cites this paper
• Probabilistic Graph Queries for Design Space Exploration Under Uncertainty

  2024cites this paper
• Stochastic Modeling for Assessing the Reliability and Availability of Drone-Based Surveillance Systems

  2024cites this paper
• Event-Driven Process Methodology Notation for Information Processing Research

  2024cites this paper
• A graph transformation approach of statechart diagrams to generalized stochastic petri nets

  2024cites this paper
• Mapping Petri Nets onto a Calculus of Context-Aware Ambients

  2024cites this paper
• UnifiedGreatMod: a new holistic modelling paradigm for studying biological systems on a complete and harmonious scale

  2024cites this paper
• Evaluation of time-based virtual machine migration as moving target defense against host-based attacks

  2024cites this paper
• Mobility‐aware modeling and evaluation of IoT systems using stochastic reward nets

  2024cites this paper
• A Formal Framework of Model and Logical Embeddings for Verification of Stochastic Systems

  2024cites this paper
• Automated Transformation of a Domain-Specific Language for System Modeling to Stochastic Colored Petri Nets

  2024cites this paper
• Performance Evaluation of IoT-Based Industrial Automation Using Edge, Fog, and Cloud Architectures

  2024cites this paper
• Stochastic Petri Nets for Drone Surveillance: Modeling Availability and Reliability

  2024cites this paper
• Uma Comparação de Múltiplas Políticas de Migração de Contêineres Suportadas pela Ferramenta CRIU

  2024cites this paper
• Network service function chaining: a performance study varying topologies

  2024cites this paper
• Formal dependability analysis of fault tolerant Virtual Machine allocation strategies in Cloud Radio Access Network

  2024cites this paper
• Causally Deterministic Markov Decision Processes

  2024cites this paper
• Adaptive joint call admission control scheme for LTE-A in mobile communication network and its performance analysis

  2024cites this paper
• A CPN-based model for assessing energy consumption of IoT networks

  2023cites this paper
• Additive Invariants of Open Petri Nets

  2023cites this paper
• Formalizing UML State Machines for Automated Verification – A Survey

  2023cites this paper
• Immediate Transitions in Timed Continuous Petri Nets: Performance Evaluation and Control

  2023influential citation
• A new generalized stochastic Petri net modeling for energy‐harvesting‐wireless sensor network assessment

  2023cites this paper
• On Quantitative Properties Preservation in Reconfigurable Generalized Stochastic Petri Nets

  2023influential citation
• Minimal Critical Sequences in Model-based Safety and Security Analyses: Commonalities and Differences

  2023cites this paper
• Monitoring Hospital Activity Through Petri Nets

  2023cites this paper
• Pursuit-Evasion Game Modelling In A Graph Using Petri Nets

  2023cites this paper
• Assessing the impact of battery charging and discharging times on the availability of mechanical ventilation service

  2023cites this paper
• Cycle and Commute: Rare-Event Probability Verification for Chemical Reaction Networks

  2023cites this paper
• Control and Supervisory Discrete Event Structures for Autonomous Vehicles in the Underwater Environment

  2023cites this paper
• Performance Analysis of Fault-Tolerant Multiagent Coordination Mechanisms

  2023cites this paper
• Robustness: A natural Definition based on Nets-within-Nets

  2023cites this paper
• Análise de Desempenho de Servidores de Arquivos em Nuvem Privada

  2023cites this paper
• Clustering Distribution Islands with DERs for Limited System Restoration

  2023cites this paper
• Could Mathematics be the Key to Unlocking the Mysteries of Multiple Sclerosis?

  2023cites this paper
• Fixed-Point Iteration Approach to Spark Scalable Performance Modeling and Evaluation

  2023cites this paper
• A GSPN-based formalism under infinite-server semantics for reconfigurable WANETs

  2023cites this paper
• From Compositional Petri Net Modeling to Macro and Micro Simulation by Means of Stochastic Simulation and Agent-Based Models

  2023cites this paper
• Blockchain as a service environment: a dependability evaluation

  2023cites this paper
• Enjoy the Silence: Analysis of Stochastic Petri Nets with Silent Transitions

  2023influential citation
• A Predictive Dynamic Approach to Evaluating the Reliability of Passive Systems

  2023cites this paper
• Finite-Trace Analysis of Stochastic Systems with Silent Transitions (Extended Abstract)

  2023cites this paper
• Analysis of Safety-Critical Cloud Architectures with Multi-Trajectory Simulation

  2022cites this paper
• Estimating Multiclass Service Demand Distributions Using Markovian Arrival Processes

  2022cites this paper
• Modeling a Pharmaceutical Web-Service Using Colored Petri Nets

  2022cites this paper
• A combination method for integrated modular avionics safety analysis

  2022cites this paper
• PIPE 2.7 overview A Petri net tool for performance modeling and evaluation

  2022cites this paper
• Updating the Content of Performance Analysis Textbooks

  2022cites this paper
• A New Generalised Stochastic Petri Nets Modelling for Solar Energy Harvesting Sensors in Long Lasting WSNs, Considering Seasonal Sunshine Levels

  2022cites this paper
• Colored Petri Net Modelling and Evaluation of Drone Inspection Methods for Distribution Networks

  2022cites this paper
• Formal Model of Informatics Undergraduate Curriculum in Petri Nets

  2022cites this paper
• Dependability Modeling of Software Systems with UML and DAM: A Guide for Real-Time Practitioners

  2022cites this paper
• Learning Individual Interactions from Population Dynamics with Discrete-Event Simulation Model

  2022cites this paper
• DICE simulation: a tool for software performance assessment at the design stage

  2022cites this paper
• Availability Analysis of an Offshore Wind Turbine Subjected to Age-Based Preventive Maintenance by Petri Nets

  2022cites this paper
• A cyber warfare perspective on risks related to health IoT devices and contact tracing

  2022cites this paper
• Modeling and Simulation of Emergency Resource Allocation Process Based on Generalized Stochastic Petri Net

  2022cites this paper
• Performance-Cost Trade-Off in Auto-Scaling Mechanisms for Cloud Computing

  2022cites this paper
• Model‐based risk assessment evaluation

  2022cites this paper
• Stochastic Models for Planning VLE Moodle Environments based on Containers and Virtual Machines

  2022influential citation
• Formalism and semantics of PyCATSHOO: A simulator of distributed stochastic hybrid automata

  2021cites this paper
• Modeling Epidemic Routing: Capturing Frequently Visited Locations While Preserving Scalability

  2021cites this paper
• PROVED: A Tool for Graph Representation and Analysis of Uncertain Event Data

  2021cites this paper
• Performance Modelling of Intelligent Transportation Systems: Experience Report

  2021cites this paper
• Performance evaluation for the design of a hybrid cloud based distance synchronous and asynchronous learning architecture

  2021cites this paper
• Integrating the analysis of multiple non-functional properties in model-driven engineering

  2021cites this paper
• Transformation of sequence diagram to timed Petri net using Atlas Transformation Language metamodel approach

  2021cites this paper
• A survey on reliability and availability modeling of edge, fog, and cloud computing

  2021cites this paper
• Formalisms for Enterprise Application Integration (EAI): A Survey of Methodologies

  2021cites this paper
• Introduction to Petri Nets

  2021cites this paper
• Multiformalism modeling and simulation of immune system mechanisms

  2021cites this paper
• Availability of an RFID Object-Identification System in IoT Environments

  2021cites this paper
• Multiperson Interactive Activity Recognition Based on Interaction Relation Model

  2021cites this paper