Page 1 from 21 hits

Sort by: Relevancy | Currentness | Title

  1.  

    Equivalence relations for modular performance evaluation in dtsPBC

    TARASYUK, IGOR V. | Online Contents | 2013
  2.  

    Discrete time stochastic Petri box calculus

    Tarasyuk, Igor | TIBKAT | 2005
  3.  

    Tau-Equivalences and Refinement for Petri Nets Based Design

    Free access
    Tarasyuk, Igor V. | BASE | 2012
  4.  

    Tau-Equivalences and Refinement for Petri Nets Based Design

    Free access
    Tarasyuk, Igor V. | BASE | 2012
  5.  

    Investigating equivalence relations in dtsPBC

    Tarasyuk, Igor V. | TIBKAT | 2008
  6.  

    Behavioural equivalences for fluid stochastic Petri nets

    Free access
    Tarasyuk, Igor V. / Buchholz, Peter | arXiv | 2017
  7.  

    Stochastic Petri Box Calculus with Discrete Time

    Tarasyuk, Igor V. | IOS Press | 2007
  8.  

    Stochastic Petri Box Calculus with Discrete Time

    Tarasyuk, Igor V. | Online Contents | 2007
  9.  

    A Class of Stochastic Petri Nets with Step Semantics and Related Equivalence Notions

    Free access
    Buchholz, Peter / Tarasyuk, Igor V. | BASE | 2013
  10.  

    A Class of Stochastic Petri Nets with Step Semantics and Related Equivalence Notions

    Free access
    Buchholz, Peter / Tarasyuk, Igor V. | BASE | 2013
  11.  

    Stochastic equivalence for performance analysis of concurrent systems in dtsiPBC

    Free access
    Tarasyuk, Igor V. / Macià, Hermenegilda / Valero, Valentín | arXiv | 2017
    We propose an extension with immediate multiactions of discrete time stochastic Petri Box Calculus (dtsPBC), presented by I.V. Tarasyuk ...
  12.  

    Equivalences for concurrent and distributed systems

    Tarasyuk, Igor V. | TIBKAT | 1999
  13.  

    An investigation of [tau]-equivalences

    Tarasyuk, Igor V. | TIBKAT | 1997
  14.  

    Equivalence and Lumpability of FSPNs

    Bause, Falko / Buchholz, Peter / Tarasyuk, Igor V. et al. | TEMA | 2017
  15.  

    Equivalence and Lumpability of FSPNs

    Bause, Falko / Buchholz, Peter / Tarasyuk, Igor V. et al. | British Library Conference Proceedings

Number of results: 10 | 20 | 50