A translation of \(\text{TPAL}_{p}\) into a class of timed-probabilistic Petri nets (Q557805): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
ReferenceBot (talk | contribs)
Changed an Item
Property / cites work
 
Property / cites work: Q4535172 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2767184 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2760247 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Process algebra with timing / rank
 
Normal rank
Property / cites work
 
Property / cites work: Discrete time generative-reactive probabilistic processes with different advancing speeds / rank
 
Normal rank
Property / cites work
 
Property / cites work: Algebraic theory of probabilistic and nondeterministic processes. / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5754515 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2766563 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Reactive, generative, and stratified models of probabilistic processes / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3795192 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4028618 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Bisimulation through probabilistic testing / rank
 
Normal rank
Property / cites work
 
Property / cites work: Algebraic theory of probabilistic processes. / rank
 
Normal rank
Property / cites work
 
Property / cites work: Nets, Terms and Formulas / rank
 
Normal rank
Property / cites work
 
Property / cites work: TIC: a tImed calculus / rank
 
Normal rank
Property / cites work
 
Property / cites work: A timed model for communicating sequential processes / rank
 
Normal rank
Property / cites work
 
Property / cites work: Finite representations of CCS and TCSP programs by automata and Petri nets / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4000457 / rank
 
Normal rank

Revision as of 12:07, 10 June 2024

scientific article
Language Label Description Also known as
English
A translation of \(\text{TPAL}_{p}\) into a class of timed-probabilistic Petri nets
scientific article

    Statements

    A translation of \(\text{TPAL}_{p}\) into a class of timed-probabilistic Petri nets (English)
    0 references
    0 references
    0 references
    0 references
    30 June 2005
    0 references
    Formal methods
    0 references
    Software specification
    0 references
    Concurrent systems
    0 references
    Process algebra
    0 references
    Timed Petri nets
    0 references

    Identifiers