Discrete Time Stochastic Petri Box Calculus with Immediate Multiactions dtsiPBC

Authors:
Igor V. Tarasyuk;Hermenegilda Macií;Valentín Valero
Affiliations:
A.P. Ershov Institute of Informatics Systems SB RAS, Novosibirsk, Russian Federation;High School of Computer Science Engineering, UCLM, Albacete, Spain;High School of Computer Science Engineering, UCLM, Albacete, Spain
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2013

Citing 15
Cited 0

Discrete Time Stochastic Petri Nets

IEEE Transactions on Software Engineering
A semi-markov model for the performance of multiple-bus systems

IEEE Transactions on Computers
Reactive, generative, and stratified models of probabilistic processes

Information and Computation
A compositional approach to performance modelling

A compositional approach to performance modelling
A tutorial on EMPA: a theory of concurrent processes with nondeterminism, priorities, probabilities and time

Theoretical Computer Science
Petri net algebra

Petri net algebra
Extending the Petri Box Calculus with Time

ICATPN '01 Proceedings of the 22nd International Conference on Application and Theory of Petri Nets
The box calculus: a new causal algebra with multi-label communication

Advances in Petri Nets 1992, The DEMON Project
Stochastic Petri nets: an elementary introduction

Advances in Petri Nets 1989, covers the 9th European Workshop on Applications and Theory in Petri Nets-selected papers
sPBC: A Markovian Extension of Finite Petri Box Calculus

PNPM '01 Proceedings of the 9th international Workshop on Petri Nets and Performance Models (PNPM'01)
sPBC: A Markovian Extension of Petri Box Calculus with Immediate Multiactions

Fundamenta Informaticae
Performance Evaluation of Distributed Systems Based on a Discrete Real- and Stochastic-Time Process Algebra

Fundamenta Informaticae - Application of Concurrency to System Design
A compositional model of time Petri nets

ICATPN'00 Proceedings of the 21st international conference on Application and theory of petri nets
An algebra of petri nets with arc-based time restrictions

ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
Stochastic Petri Box Calculus with Discrete Time

Fundamenta Informaticae

Quantified Score

Hi-index	0.00

Visualization

Abstract

We propose discrete time stochastic Petri box calculus extended with immediate multiactions, called dt-siPBC. The step operational semantics is constructed via labeled probabilistic transition systems. The denotational semantics is defined via labeled discrete time stochastic Petri nets with immediate transitions (LDTSIPNs). A consistency of both semantics is demonstrated. In order to evaluate performance, the corresponding semi-Markov chains are analyzed. In a case study, performance of the shared memory system is evaluated.