Whereas the merit of time Petri net which has the ability to describe the phenomenon of concurrency and conflict in the system,first several types of time Petri nets are introduced and timed Petri net and stochastic Petri net are adopted to build and analyze the same communication protocol in theory, so two methods are obtained.

Utilizing Timed Petri Net, Stochastic Petri Net modelling tool and computer tool, simulating and analyzing integrated avionics system data bus, and attaining system time capability parameter are the studying method of the thesis.

Formal definition of extended timed Petri net was presented.

Model Checking of Timed Petri Nets to Semantically Equivalent Timed Automata Based on Uppaal;

Deadlock prevention approach for a class of timed Petri nets

Based on the need of time management for actual business process, especially some workflow systems which require higher performance of time management, a new method of modeling and analysising workflow systems based on Timed Petri nets is proposed.

The one-to-one mapping relationship is proved between the process expression of an unbounded Petri net Σ and the language of its process net system Σ_ P , so we can express the language of Σ_ P in order to establish the process expression of Σ .

A Hybrid Petri Net-based Modeling and Simulating System with GUI;

The analysis of a hybrid system using overlapping decomposition and expansion method of hybrid Petri net is proposed.

To deal with modeling of hybrid system, a sort of hybrid Petri nets named hybrid state Petri net(HSPN) is proposed, with its definitions and transition rules.