English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Tools annual

Global: Zendy Free Plan

Global: Zendy Tools monthly

Global: Zendy Plus monthly

Petri nets have been used for many years to model complex processes. Examples are software design, workflow management, data analysis, concurrent programming, reliability engineering, real-time computing systems, operating sys- tems, distributed systems, and biological processes. Timed petri nets enable the study of timed process reachability, i. e. can a certain state in the process be reached, given an initial state of TPN representing a given process. This paper shows how the reachability of TPN can be utilized to analyze several aspects of construction projects. TPN are introduced and contrasted to Activity Cycle Diagrams and are also formalized to allow for the reachability problem to be assessed. The benefits and limitations of the analysis are presented through the classic earth-moving problem.

ANALYSIS OF TIMED PETRI NETS FOR REACHABILITY IN CONSTRUCTION APPLICATIONS/PETRI LAIKO TINKLŲ PASIEKIAMUMO TAIKYMO STATYBOJE ANALIZĖ