Timed Petri nets

This paper is the extended version of the paper (Capkovic Intelligent Information and Database Systems. LNAI. Springer, Cham Heidelberg 2014) presented in the ACIIDS 2014 conference.

11p vititan2711 13-08-2019 7 1   Download

Time-driven systems such as living organisms, ecological systems and world population have long been modeled and analyzed through differential equations. Man-made technological environments such as computer, transportation and telecommunication networks or manufacturing and logistics systems represent systems whose behaviors are governed by events occurring asynchronously over time.

230p greengrass304 15-09-2012 57 5   Download

Petri Nets are graphical and mathematical tool used in many different science domains. Their characteristic features are the intuitive graphical modeling language and advanced formal analysis method. The concurrence of performed actions is the natural phenomenon due to which Petri Nets are perceived as mathematical tool for modeling concurrent systems. The nets whose model was extended with the time model can be applied in modeling real-time systems.

352p 123859674 02-07-2012 83 5   Download

This book constitutes the refereed proceedings of the 15th International Conference on Concurrency Theory, CONCUR 2004, held in London, UK in August/September 2004. The 29 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 134 submissions.

547p ken333 07-06-2012 83 7   Download

TIMED PETRI NETS Petri nets were developed as an operational formalism for specifying untimed concurrent systems. They can show concurrent activities by depicting control and data flows in different parts of the modeled system. As an operational formalism, a Petri net gives a dynamic representation of the state of a system through the use of moving tokens. The original, classical, untimed Petri nets have been used successfully to model a variety of industrial systems. More recently, time extensions of Petri nets have been developed to model and analyze time-dependent or real-time systems..

25p vaseline 23-08-2010 79 9   Download