In this paper we present a new approach for modeling hybrid systems , e. g. systems that consist of discrete and continuous state changes. The approach is based on extensions of a class of high-level Petri nets. We give an informal description of our hybrid modeling language and illustrate its capability on a small example.

In this contribution, a modelling approach for hybrid systems using interpreted Petri nets is described. An implementation of the proposed method into software tools is presented. With the help of the hybrid two tank benchmark problem, the implementation is shows to be accurate. A comparison with other tools shows good results.

This article presents several diierent kinds of Petri nets, together with computer tools based on them, and compares possibilities of their application in the area of simulation and modelling. Place/transition Petri nets, stochastic Petri nets, hierarchical coloured Petri nets and nally object oriented Petri nets are mentioned here. As for the tools, Design/CPN, TimeNET, LOOPN++ and PNtalk are ...

Algebraic Petri nets is a well suited formalism to represent the behavior of concurrent and distributed systems by handling complex data. For the analysis of systems modelled in Algebraic Petri nets, model checking and testing are used commonly. Petri nets slicing is getting an attention recently to improve the analysis of systems modelled in Petri nets or Algebraic Petri nets. This work is ori...

In the post-genome era, biopathway information processing is one of the most important research topics in Bioinformatics. From a biochemical and biomedical viewpoint, research progress will be very beneficial to human beings, e.g. developments of medicine manufacture and effective medical treatment for each patient. Thus, this thesis discusses the importance of a biopathway development environm...

in this paper, a formal model for antivirus update agent system is presented based on mobile agent technology and predicate/transition petri nets. the mobile agent system contains two mobile agents called dca and una. it sends out agents to update antivirus on client computers in a network. each agent takes on a specified responsibility. first, dca roams through the network and check the last d...

This paper introduces a new method of empowering Logical Petri Nets (LPN) and Fuzzy Logical Petri Nets (FLPN) [1] using multiple logic. In this paper we proposed a Multi-Logical Petri Nets (MLPN) and Multi-Logical Fuzzy Petri Nets (MLFPN) based on Logical Petri Nets (LPN) and Fuzzy Logical Petri Nets (FLPN). Here we have showed that, how multiple logic is implemented in MLPN and MLFPN. The prop...