The paper highlight intelligent Urban Traffic control using Neuro-Genetic Petrinet. The combination of genetic algorithm provides dynamic change of weight for faster learning and converging of Neuro-Petrinet. Keywords— Neuro Petrinet, Urban Traffic Systems, Genetic Algorithm.

The requirements of system reflect the needs of the customer. Specification of requirements at different levels of abstractions is therefore an important part of system design. Formalism in part of system design is necessary to avoid ambiguity and provide precision. Petrinet is a design tool which has proven to be very promising in this aspect. This paper deals with the application of petrinet ...

Based on Petri net modelling and linear logic as formal framework, ESA PetriNet allows to carry out dependability analysis of discrete (based on temporal Petri nets modelling) or hybrid systems (differential predicate-transition Petri nets modelling). ESA PetriNet implements the approach for critical scenarios deriving. The approach is based on a qualitative analysis of Petri net model. It cons...

Ideally, a system’s design starts with a formal model. However, in the real world, many systems are designed without a formal model in mind. For these systems, it is hard to show that a formal model meets the informal design. In this paper, we demonstrate on the example of the composable Message Scheduled System (MSS) architecture how to bridge the gap between a rather informal description and ...

Multilevel petrinets are proposed for facilitating exible modeling and control of complicated dynamic processes, especially autonomous, learning and intelligent systems. A metapetrinet is able not only to change the marking of a petrinet but also to recon gue dynamically its structure. Each level of the metanet is an ordinary petrinet of some traditional type. A basic level petrinet simulates t...