This paper presents a technique to estimate the average time separation of events (TSE) in stochas-tic timed Petri nets that can model time-independent choice and have arbitrary delay distributions associated with places. The approach analyzes nite net unfold-ings to derive closed-form expressions for lower and upper bounds on the average TSE, which can be ef-ciently evaluated using standard st...

This thesis is concerned with the modeling and the analysis of distributed real-time systems. In distributed systems, components can evolve independently and communicate with each other. Concurrent actions are performed by different components without influencing each other. The time constraints in distributed real-time systems create complex dependencies between the components and the events t...

In this diploma thesis, we define a formalism for a time-extension to classic P/T (or Petri-)nets. This allows time durations to be assigned to transitions of a P/T net, representing delays present in the systems that are being modelled, which in turn influence (restrict) the firing behaviour of the nets. This is especially useful when modelling time-critical systems. The new contribution of th...

This thesis is concerned with the modeling and the analysis of distributed real-time systems. In distributed systems, components can evolve independently and communicate with each other. Concurrent actions are performed by different components without influencing each other. The time constraints in distributed real-time systems create complex dependencies between the components and the events t...

Complex and customized manufacturing requires a high level of collaboration between production and logistics in a flexible production system. With the widespread use of Internet of Things technology in manufacturing, a great amount of real-time and multi-source manufacturing data and logistics data is created, that can be used to perform production-logistics collaboration. To solve the aforemen...

In this paper, we discuss a new authoring system for the stepwise re nement of multimedia presentations. The proposed system is based on data ow and control ow diagrams, with many enhanced notations especially useful for multimedia presentation designs. Presentation designers can use our system to quickly develop a prototype presentation, and re ne it step by step toward a nal presentation. A m...

urrently, multimedia presentation technologies among the network are most often used in munication services. Examples of those applications include video-on demand, interactive he communication tools on a distance learning system and so on. In this paper, we describe esent different multimedia objects on a web presentation system. The distributed approach is an extended timed Petri net model. U...

Speed-independent circuit design is of increasing interest because of global timing problems in VLSI. Unfortunately, speed-independent design is very subtle. We propose the use of state-machine verification tools to ameliorate this problem. This paper illustrates issues in the modelbng, specification, and verification of speed-independent circuits through consideration of self-timed queues. Use...

A cooperative multi-robot system (CMRS) modeling method called fuzzy timed agent based Petri nets (FTAPN) is proposed in this paper, which has been extended from fuzzy timed object-oriented Petri net (FTOPN). The proposed FTAPN can be used to model and illustrate both the structural and dynamic aspects of CMRS, which is a typical multi-agent system (MAS). At the same time, supervised learning i...