Sibirskie Èlektronnye Matematicheskie Izvestiya [Siberian Electronic Mathematical Reports]
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
General information
Latest issue
Archive
Impact factor

Search papers
Search references

RSS
Latest issue
Current issues
Archive issues
What is RSS



Sib. Èlektron. Mat. Izv.:
Year:
Volume:
Issue:
Page:
Find






Personal entry:
Login:
Password:
Save password
Enter
Forgotten password?
Register


Sibirskie Èlektronnye Matematicheskie Izvestiya [Siberian Electronic Mathematical Reports], 2020, Volume 17, Pages 1598–1679
DOI: https://doi.org/10.33048/semi.2020.17.112
(Mi semr1306)
 

This article is cited in 1 scientific paper (total in 1 paper)

Mathematical logic, algebra and number theory

Discrete time stochastic and deterministic Petri box calculus dtsdPBC

I. V. Tarasyuk

A.P. Ershov Institute of Informatics Systems, Siberian Branch of the Russian Academy of Sciences, 6, Acad. Lavrentiev ave., Novosibirsk, 630090, Russia
References:
Abstract: We propose dtsdPBC, an extension with deterministically timed multiactions of discrete time stochastic and immediate Petri box calculus (dtsiPBC), previously presented by I.V. Tarasyuk, H. Macià and V. Valero. dtsdPBC enhances the expressiveness of dtsiPBC and extends the application area of the associated specification and analysis techniques. In dtsdPBC, non-negative integers are used to specify fixed (including zero) time delays of deterministic multiactions. The step operational semantics of the calculus is constructed via labeled probabilistic transition systems. The Petri net denotational semantics of the calculus is defined on the basis of dtsd-boxes, a subclass of novel labeled discrete time stochastic Petri nets with deterministic transitions (LDTSDPNs).
We also define step stochastic bisimulation equivalence of the algebraic expressions, used to compare the qualitative and quantitative behaviour of the specified processes. The consistency of the operational and denotational semantics of dtsdPBC up to that bisimulation equivalence is established. The interrelations of the mentioned equivalence with other behavioural notions of the calculus are investigated. A series of examples that construct the transition systems and dtsd-boxes for the expressions with different types of multiactions and operations demonstrates both the specification capabilities and semantic features of the new calculus.
Keywords: stochastic process algebra, stochastic Petri net, Petri box calculus, discrete time, stochastic multiaction, deterministic multiaction, transition system, operational semantics, stochastic transition, deterministic transition, dtsd-box, denotational semantics, stochastic bisimulation.
Received March 13, 2020, published October 21, 2020
Bibliographic databases:
Document Type: Article
UDC: 004.423.4, 519.681.2, 519.681.3
MSC: 18C10, 68Q55, 68Q85
Language: English
Citation: I. V. Tarasyuk, “Discrete time stochastic and deterministic Petri box calculus dtsdPBC”, Sib. Èlektron. Mat. Izv., 17 (2020), 1598–1679
Citation in format AMSBIB
\Bibitem{Tar20}
\by I.~V.~Tarasyuk
\paper Discrete time stochastic and deterministic Petri box calculus dtsdPBC
\jour Sib. \`Elektron. Mat. Izv.
\yr 2020
\vol 17
\pages 1598--1679
\mathnet{http://mi.mathnet.ru/semr1306}
\crossref{https://doi.org/10.33048/semi.2020.17.112}
\isi{https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=Publons&SrcAuth=Publons_CEL&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=000583295600001}
Linking options:
  • https://www.mathnet.ru/eng/semr1306
  • https://www.mathnet.ru/eng/semr/v17/p1598
  • This publication is cited in the following 1 articles:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
     
      Contact us:
     Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024