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.  

    Tau-Equivalences and Refinement for Petri Nets Based Design

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

    Tau-Equivalences and Refinement for Petri Nets Based Design

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

    Discrete time stochastic Petri box calculus

    Tarasyuk, Igor | TIBKAT | 2005
  5.  

    Behavioural equivalences for fluid stochastic Petri nets

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

    Investigating equivalence relations in dtsPBC

    Tarasyuk, Igor V. | TIBKAT | 2008
  7.  

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

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

    Stochastic Petri Box Calculus with Discrete Time

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

    Stochastic Petri Box Calculus with Discrete Time

    Tarasyuk, Igor V. | Online Contents | 2007
  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