Structural properties of Time Petri nets
|
StatusThe thesis was presented on the 14 September, 2007Approved by NCAA on the 18 October, 2007 Abstract – 0.35 Mb / in romanianThesisCZU 519.7(043.2)
1.48 Mb /
in romanian119 pages |
Keywords
Petri nets, marking, transition sequence, accessibility tree, invariance technique, workflow, timing workflow nets, timing jumping nets, processSummary
The technological development of the various engineering areas such as: made systems, transportation systems, communication systems, operating systems and dedicated software pathways, as well as the proceedings check of numerous automatized classes of processes require a dynamic development of forms which would be able to check the properties of the varoius systems from the above mentioned fields. Petri Nets have proved a special flexibility while approaching the many types of practical problems, and have the tendency to expand the domain of its activity by englobing some other, more complex, perspectives. The incorporation of time is one of these perspectives.
Our research led to the accomplishment of the following results:
- We defined timing jumping Petri Nets and elaborated a coverability structure for them.
- We defined timing workflow nets and formulated the notion of soundness.
- We proved the theorems which display the relationship among viability, boundness and soundness of the timing workflow nets.
- We proved the decidability of soundness problem for some classes of timing workflow nets.
- We defined the notion of process for timing workflow nets.
Our research results prove to have an innovative character and can be helpful while used and applied in other researches from this and neighbouring fields.
Oficial Reviewers
- Ion Bolun
doctor habilitat, professor - Emilian Guţuleac
doctor habilitat, professor, Technical University of Moldova
Theses
Under consideration [1] :
- The use of information technologies in the development of cryptographic and algebraic algorithms
21 April, 2023
Theses Archive:
