Petri nets structural techniques may be used not only to study interesting system properties, but also to manage state space explosion and discrete-event simulation complexity. In order to avoid net unfolding, a symbolic calculus for high level PN structural analysis is needed, directly working on net annotations. Colored Petri Nets structural analysis relies upon a common subset of functional ...

The need for safety in transportation systems has increased the popularity and applicability of Vehicular Ad-Hoc Networks (VANETs) in recent years. On-time reception and processing of alarms caused by possible accidents as well as the preventive actions have important roles in reducing human and financial losses in road accidents. In such cases, the performance of safety applications should be ...

A formal modeling technique, based on colored timed Petri net and UML static structure modeling languages is used to teach students to model their business process problem as a discrete event system, before they build a working simulation model in a simulation tool (in our case Arena). Combining Petri net and UML static structure diagrams, one can build an abstract, well defined and complete mo...

This paper describes a generic model of matching that can be usefully applied to misuse intrusion detection. The model is based on Colored Petri Nets. Guards define the context in which signatures are matched. The notion of start and final states, and paths between them define the set of event sequences matched by the net. Partial order matching can also be specified in this model. The main ben...

Multifunction Vehicle Bus (MVB) is a critical component in the Train Communication Network (TCN), which is widely used in most of the modern train techniques of the transportation system. How to ensure security of MVB has become an important issue. Traditional testing could not ensure the system correctness.TheMVB systemmodeling and verification are concerned in this paper. Petri Net and model ...

With the rapid advances in computer science and technology, critical computer-based systems, such as those in aerospace, military, and power industries exhibit more complex dependent and dynamic behaviors, which cannot be fully captured by existing reliability modeling tools. In this paper, we introduce a new reliability modeling tool, called dynamic reliability block diagrams (DRBD), for model...