scientific article; zbMATH DE number 763717
From MaRDI portal
Publication:4835250
zbMath0843.68080MaRDI QIDQ4835250
No author found.
Publication date: 13 June 1995
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items
Could mathematics be the key to unlocking the mysteries of multiple sclerosis? ⋮ Extending propositional dynamic logic for Petri nets ⋮ Domain and event structure semantics for Petri nets with read and inhibitor arcs ⋮ Service demand distribution estimation for microservices using Markovian arrival processes ⋮ Basic server semantics and performance monotonicity of continuous Petri nets ⋮ Performance Evaluation of Schedulers in a Probabilistic Setting ⋮ Model Checking Probabilistic Systems ⋮ Stochastic equivalence for performance analysis of concurrent systems in dtsiPBC ⋮ Designing parsimonious scheduling policies for complex resource allocation systems through concurrency theory ⋮ Individuals, populations and fluid approximations: a Petri net based perspective ⋮ A Semantics for Every GSPN ⋮ Colored stochastic Petri nets for modelling and analysis of multiclass retrial systems ⋮ Confusion control in generalized Petri nets using synchronized events ⋮ Petri nets for the design and operation of manufacturing systems ⋮ Process semantics of general inhibitor nets ⋮ Equivalences for fluid stochastic Petri nets ⋮ Partially-shared zero-suppressed multi-terminal BDDs: Concept, algorithms and applications ⋮ Flexible nets: a modeling formalism for dynamic systems with uncertain parameters ⋮ Throughput maximization of complex resource allocation systems through timed-continuous-Petri-net modeling ⋮ On Quantitative Modelling and Verification of DNA Walker Circuits Using Stochastic Petri Nets ⋮ Fluid approximation of Petri net models with relatively small populations ⋮ Petri nets for modelling metabolic pathways: a survey ⋮ On the use of MTBDDs for performability analysis and verification of stochastic systems. ⋮ Blocking a transition in a free choice net and what it tells about its throughput. ⋮ Reconciling real and stochastic time: the need for probabilistic refinement ⋮ Performance Evaluation of Workflows Using Continuous Petri Nets with Interval Firing Speeds ⋮ HYPENS: A Matlab Tool for Timed Discrete, Continuous and Hybrid Petri Nets ⋮ Problematic configurations and choice-join pairs on Mono-T-Semiflow nets: towards the characterization of behavior-structural properties ⋮ An efficient algorithm for the parallel solution of high-dimensional differential equations ⋮ Modeling transmission of directly transmitted infectious diseases using colored stochastic Petri nets ⋮ Distributed disk-based algorithms for model checking very large Markov chains ⋮ Encoding the dynamics of deterministic systems ⋮ A compositional framework for reaction networks ⋮ Modeling and verification of hybrid dynamic systems using multisingular hybrid Petri nets ⋮ Discrete time stochastic and deterministic Petri box calculus dtsdPBC ⋮ Constructing matrix exponential distributions by moments and behavior around zero ⋮ On the Applicability of Stochastic Petri Nets for Analysis of Multiserver Retrial Systems with Different Vacation Policies ⋮ Preface: Petri nets for systems and synthetic biology ⋮ Petri net languages and infinite subsets of \(\mathbb{N}^m\) ⋮ An algorithmic approach for analysis of finite-source retrial systems with unreliable servers ⋮ On the tradeoff between compositionality and exactness in weak bisimilarity for integrated-time Markovian process calculi ⋮ Bayesian estimation of the limiting availability in the presence of right-censored data ⋮ The PSR methodology: Integrating hardware and software models ⋮ Petri net modelling of biological regulatory networks ⋮ Applications of an expressive statistical model checking approach to the analysis of genetic circuits ⋮ Analysing Biochemical Oscillation through Probabilistic Model Checking ⋮ Confluence reduction for Markov automata ⋮ How Might Petri Nets Enhance Your Systems Biology Toolkit ⋮ On Parametric Steady State Analysis of a Generalized Stochastic Petri Net with a Fork-Join Subnet ⋮ Synthesis and Analysis of Product-Form Petri Nets ⋮ Preface: Petri nets for systems and synthetic biology ⋮ Model-based testing of probabilistic systems ⋮ Discrete transparent boundary conditions for parabolic systems ⋮ Performance analysis of the \(M/G/c\) retrial queueing systems using the theory of Markov regenerative stochastic Petri nets. ⋮ Unnamed Item ⋮ Markov automata: deciding weak bisimulation by means of non-naïvely vanishing states ⋮ Analysis of Petri Net Models through Stochastic Differential Equations ⋮ Analysis of multi-agent activity using Petri nets ⋮ A congruence relation for sPBC ⋮ Numerical investigation of finite-source multiserver systems with different vacation policies ⋮ Stochastic Petri net models of \(\text{Ca}^{2+}\) signaling complexes and their analysis ⋮ Performability assessment by model checking of Markov reward models ⋮ Automating the transformation-based analysis of visual languages ⋮ GSPN analysis of retrial systems with servers breakdowns and repairs ⋮ Petri nets as a framework for the reconstruction and analysis of signal transduction pathways and regulatory networks ⋮ Petri net representation of multi-valued logical regulatory graphs ⋮ Aggregation/disaggregation method for safety models. ⋮ An Efficient Symbolic Elimination Algorithm for the Stochastic Process Algebra Tool CASPA ⋮ Spectral performance evaluation of parallel processing systems ⋮ Petri net-based modelling of workflow systems: An overview ⋮ Process algebra for performance evaluation ⋮ Mixing logics and rewards for the component-oriented specification of performance measures ⋮ The How and Why of Interactive Markov Chains ⋮ Identity-Based Cryptosystems and Quadratic Residuosity ⋮ First-order hybrid Petri nets. An application to distributed manufacturing systems ⋮ Unnamed Item ⋮ Structured Cospans ⋮ One novel and optimal deadlock recovery policy for flexible manufacturing systems using iterative control transitions strategy ⋮ Fixed-Delay Events in Generalized Semi-Markov Processes Revisited ⋮ Monotonicity in Service Orchestrations ⋮ Performance evaluation in stochastic process algebra dtsdPBC ⋮ Dual perspectives of equilibrium throughput properties of continuous mono-T-semiflow Petri nets: firing rate and initial marking variations ⋮ Extended Stochastic Petri Nets for Model-Based Design of Wetlab Experiments ⋮ Stochastic Petri Nets Sensitivity to Token Scheduling Policies ⋮ Critical Paths in the Partial Order Unfolding of a Stochastic Petri Net ⋮ Circulant approximation for preconditioning in stochastic automata networks ⋮ Confusion analysis and detection for workflow nets ⋮ Logical characterization of fluid equivalences ⋮ Performance Analysis of Retrial Queueing Systems Using Generalized Stochastic Petri Nets ⋮ Modelling Retrial-Upon-Conflict Systems with Product-Form Stochastic Petri Nets ⋮ Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes ⋮ Process algebras for systems diagnosis. ⋮ Performance measure sensitive congruences for Markovian process algebras ⋮ Parametric multisingular hybrid Petri nets: formal definitions and analysis techniques ⋮ A brief survey and synthesis of the roles of time in Petri nets. ⋮ Hybrid and hybrid adaptive Petri nets: on the computation of a reachability graph ⋮ Simulation of Generalised Semi-Markov Processes based on Graph Transformation Systems ⋮ Approximate analysis of biological systems by hybrid switching jump diffusion ⋮ Performance optimization for a class of generalized stochastic Petri nets ⋮ Hybrid behaviour of Markov population models
