The researches have shown that not all the Petri Net machines can be used to describe attack behavior. When Petri Net machines adapted for attack behavior modeling are detecting the network, for some event of current status, if there is matching event in the model, it has only one corresponding transition; otherwise that may cause errors. Since sharing synthesis and synchronization synthesis of...

This paper deals with verification of timed and untimed linear properties of the Interval Timed Colored Petri Net model. This model can simulate other timed colored Petri nets and allows describing large and complex real-time systems. We propose here to contract its generally infinite state space into a graph that captures all linear properties of the model. The resulting graph is finite iff, t...

This paper proposes a normative structure to represent and analyze sets of norms that takes into consideration both the interrelationships between different norms and the context of their applications. This extends current approaches where relations between norms are not explicitly considered. More importantly, the explicit representation of institutional contexts on norms facilitates a context...

This paper presents a design approach intended for the modeling and synthesis of discrete-event modules of hybrid controllers by combining a model of computation and a soft computing synthesis approach. The model of computation is based on coloured Petri nets (CPNs) and the soft computing method uses fuzzy logic. The design approach converts Petri net models into their equivalent fuzzy sets for...

− The Real-time Colored Petri Net (RTCPN), a modification of traditional Colored Timed Petri net, is proposed to describe virtual factory. In RTCPN, firing discipline differs from traditional way in that the concept of time-enabled transition is introduced to implement real-time simulation. In this paper, we address how to describe virtual factory using RTCPN model. Combined with block diagram,...

Nowadays, UML is considered to be the standardized language for object-oriented modeling and analysis. However, UML cannot be used for automatic analyses and simulation. In this paper, we propose an approach for transforming UML statechart and collaboration diagrams to Colored Petri net models. This transformation aims to bridge the gap between informal notation (UML diagrams) and more formal n...

A description language CPSWS (Colored Petri net markup language of Semantic for Web Services) is suggested, which improved the formal definition of CPN (Colored Petri Net) of OWL-S (Ontology Web Language for Services) service. The language combines some abilities including semantic representation of OWL-S, automatic service combination of OWL-S, formal definition of CPN, and service description...

Petri Nets (P-nets) are widely used in many fields. Because of their simple working, many formal analysis and synthesis methods are applicable to them, and furthermore P-net-based software tools can be implemented with relative ease. However, P-nets are inconvenient to use in very large and complex applications. Colored Petri Nets (CP-nets) provide much more convenience and compactness than P-n...