Page 1 from 18 hits

Sort by: Relevancy | Currentness | Title

  • «
  • 1
  1.  

    Tau-Equivalences and Refinement for Petri Nets Based Design

    Free access
    Tarasyuk, Igor V. | BASE | 2012
  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.  

    Investigating equivalence relations in dtsPBC

    Tarasyuk, Igor V. | TIBKAT | 2008
  5.  

    Behavioural equivalences for fluid stochastic Petri nets

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

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

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

    Stochastic Petri Box Calculus with Discrete Time

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

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

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

    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 ...
  10.  

    Equivalences for concurrent and distributed systems

    Tarasyuk, Igor V. | TIBKAT | 1999
  11.  

    An investigation of [tau]-equivalences

    Tarasyuk, Igor V. | TIBKAT | 1997
  12.  

    Equivalence and Lumpability of FSPNs

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

    Equivalence and Lumpability of FSPNs

    Bause, Falko / Buchholz, Peter / Tarasyuk, Igor V. et al. | TEMA | 2017
  • «
  • 1

Number of results: 10 | 20 | 50