Modeling and Verification of Time Dependent Systems Using Time Petri Nets
IEEE Transactions on Software Engineering
Theoretical Computer Science
Analyzing paths in time petri nets
Fundamenta Informaticae - Special issue on Petri nets
Introduction to Algorithms
Occurrence Graphs for Interval Timed Coloured Nets
Proceedings of the 15th International Conference on Application and Theory of Petri Nets
A study of the recoverability of computing systems.
A study of the recoverability of computing systems.
Using state equation to prove non-reachability in timed Petrinets
Fundamenta Informaticae - Concurrency specification and programming
Timed State Space Analysis of Real-Time Preemptive Systems
IEEE Transactions on Software Engineering
Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach (Studies in Computational Intelligence)
Time Petri Nets for Modelling and Analysis of Biochemical Networks
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2004)
How might petri nets enhance your systems biology toolkit
PETRI NETS'11 Proceedings of the 32nd international conference on Applications and theory of Petri Nets
The expressive power of time Petri nets
Theoretical Computer Science
Hi-index | 0.00 |
Time Petri nets (TPN) are a well-known extension of standard Petri nets, where each transition gets a continuous time interval, specifying the range of the transition's firing time. In contrast, Timed Petri nets are a different time-dependent extension where a time duration is associated with each transition. We sketch a locally defined transformation from a Timed into a Time Petri net. Additionally, we consider time-dependent Petri nets, where the firing of each transition lasts a certain time which is limited by both a lower and an upper bound. These nets can also be transformed locally into TPN and are used in this paper for modelling and analysing biochemical systems, and we present algorithms allowing their quantitative analyses. We consider algorithms which work for arbitrary systems, i.e., bounded as well as unbounded ones, and algorithms, which are suitable for bounded systems only. The crucial point is the state space reduction, which exploits basically two ideas: parametric state description and discretisation of the state space. Altogether, we introduce eight problems, characterised by their input/ output relation. A sketch of the solution idea as well as possible application scenarios to evaluate biochemical systems are given, too.