Performance preserving equivalence for stochastic process algebra dtsdPBC
IV Tarasyuk - Сибирские электронные математические известия, 2023 - mathnet.ru
Petri box calculus (PBC) of E. Best, R. Devillers, JG Hall and M. Koutny is a well-known
algebra of parallel processes with a Petri net semantics. Discrete time stochastic and …
algebra of parallel processes with a Petri net semantics. Discrete time stochastic and …
Discrete time stochastic and deterministic Petri box calculus dtsdPBC
IV Tarasyuk - Сибирские электронные математические известия, 2020 - mathnet.ru
e propose dtsd fgD n extension with deterministi lly timed multi tions of dis rete time sto h sti
nd immedi te etri ox l ulus@ dtsi fgAD previously presented y sF F r syukD rF wi nd F leroF …
nd immedi te etri ox l ulus@ dtsi fgAD previously presented y sF F r syukD rF wi nd F leroF …
Equivalence relations for modular performance evaluation in dtsPBC
IV Tarasyuk - Mathematical Structures in Computer Science, 2014 - cambridge.org
We define a number of stochastic equivalences in the dtsPBC framework, which is a discrete
time stochastic extension of finite Petri box calculus (PBC) enriched with iteration. These …
time stochastic extension of finite Petri box calculus (PBC) enriched with iteration. These …
Performance analysis of concurrent systems in algebra dtsiPBC
Petri box calculus PBC is a well-known algebra of concurrent processes with a Petri net
semantics. In the paper, an extension of PBC with discrete stochastic time and immediate …
semantics. In the paper, an extension of PBC with discrete stochastic time and immediate …
Stochastic process reduction for performance evaluation in dtsiPBC
Petri box calculus (PBC) is a well-known algebra of concurrent processes with a Petri net
semantics. In the paper, we consider an extension of PBC with discrete stochastic time and …
semantics. In the paper, we consider an extension of PBC with discrete stochastic time and …
Performance evaluation in stochastic process algebra dtsdPBC
IV Tarasyuk - Сибирские электронные математические известия, 2021 - mathnet.ru
We consider discrete time stochastic and deterministic Petri box calculus (dtsdPBC), recently
proposed by IV Tarasyuk. dtsdPBC is a discrete time extension with stochastically and …
proposed by IV Tarasyuk. dtsdPBC is a discrete time extension with stochastically and …
Discrete time stochastic and deterministic Petri box calculus
IV Tarasyuk - arXiv preprint arXiv:1905.00456, 2019 - arxiv.org
We propose an extension with deterministically timed multiactions of discrete time stochastic
and immediate Petri box calculus (dtsiPBC), previously presented by IV Tarasyuk, H. Maci\a …
and immediate Petri box calculus (dtsiPBC), previously presented by IV Tarasyuk, H. Maci\a …
[PDF][PDF] Combining embedding and elimination for performance analysis in stochastic process algebra dtsdPBC
IV Tarasyuk - researchgate.net
Petri box calculus (PBC) is a well-known algebra of parallel processes with a Petri net
semantics. Discrete time stochastic and deterministic PBC (dtsdPBC) extends PBC with …
semantics. Discrete time stochastic and deterministic PBC (dtsdPBC) extends PBC with …
[PDF][PDF] Comparing dtsdPBC with other stochastic process algebras
IV Tarasyuk - researchgate.net
Petri box calculus (PBC) is a well-known algebra of parallel processes with a Petri net
semantics. Discrete time stochastic and deterministic PBC (dtsdPBC) extends PBC with …
semantics. Discrete time stochastic and deterministic PBC (dtsdPBC) extends PBC with …
[PDF][PDF] Performance analysis of the shared memory system in stochastic process algebra dtsdPBC
IV Tarasyuk - itar.iis.nsk.su
Petri box calculus (PBC) is a well-known algebra of parallel processes with a Petri net
semantics. Discrete time stochastic and deterministic PBC (dtsdPBC) extends PBC with …
semantics. Discrete time stochastic and deterministic PBC (dtsdPBC) extends PBC with …