Description of pipeline processes by Petri nets (Q1083858)

From MaRDI portal





scientific article; zbMATH DE number 3978394
Language Label Description Also known as
English
Description of pipeline processes by Petri nets
scientific article; zbMATH DE number 3978394

    Statements

    Description of pipeline processes by Petri nets (English)
    0 references
    0 references
    1985
    0 references
    An approach is proposed in which discrete pipeline processes are described by Petri nets with inhibitions. The concept of process efficiency is introduced, by which is meant the total number of dots at the corresponding Petri-net positions. Description optimization algorithms are given.
    0 references
    discrete pipeline processes
    0 references
    Petri nets with inhibitions
    0 references
    process efficiency
    0 references

    Identifiers