Boundedness Analysis

Boundedness Analysis is a formal method in the theory of Petri Nets that determines whether the number of tokens in any place remains bounded by a finite number across all reachable states, thereby distinguishing Petri Net systems according to their capacity to prevent unbounded accumulation of resources.

1.5K

Publications

80.1K

Citations

2.7K

Authors

1.1K

Institutions

Publications per year

2017–2026

456

Parents

Authors

2.7K

  1. ZW
    Zidong Wang

    Brunel University of London, United Kingdom

    26 publications · 2.2K citations

    25

    h-index

  2. CT
    Cemil Tunç

    Van Yüzüncü Yıl Üniversitesi, Türkiye

    18 publications · 458 citations

    14

    h-index

  3. WH
    Wei He

    University of Science and Technology Beijing, China

    12 publications · 2.4K citations

    12

    h-index

  4. PK
    P.V. Kokotović

    University of California, Santa Barbara, United States

    10 publications · 1.3K citations

    10

    h-index

  5. LX
    Liguang Xu

    Zhejiang University of Technology, China

    10 publications · 282 citations

    10

    h-index

1–5 of 2.7K

Venues

  1. IEEE Transactions on Automatic Control

    80 publications · 10.9K citations

    42

    h-index

  2. 21

    h-index

  3. IET Control Theory and Applications

    32 publications · 1.2K citations

    20

    h-index

  4. 19

    h-index

  5. International Journal of Robust and Nonlinear Control

    IJRCEA · 36 publications · 1.3K citations

    18

    h-index

1–5