This article may be used for research, teaching and private study purposes. Any substantial or systematic reproduction, redistribution , reselling , loan or sub-licensing, systematic supply or distribution in any form to anyone is expressly forbidden. The publisher does not give any warranty express or implied or make any representation that the contents will be complete or accurate or up to da...

It is very important for constructing a FPN (fuzzy petri net) to accurately find out all parameters of fuzzy production rules. In this paper, Maximum-Minimum Ant System (MMAS) of ant colony algorithm (ACA) is originally introduced into the process of exploring the optimal parameters of a modified FPN.The optimization algoritnm is based on the techniques of multithreading. Realization of the alg...

With the development of society and information technology, people’s dependence on Internet has gradually increased, including online shopping, downloading files, reading books, banking. However, how to ensure safety legitimacy these network user behaviors become focus attention. As we all know, cybersecurity system resilience originate from symmetry. Due diversity unpredictability cyber-attack...

In the long history of Petri nets a universe of Petri nets has evolved consisting of an enormously rich theory, a wide variety of tools, and numerous successful applications and case studies in various application domains. This vast variety is not any more handable for anyone working with Petri nets, which results in the strong need of a structured access to Petri nets. This structured access h...

The Petri Net Markup Language (PNML) is an XML-based interchange format for Petri nets. PNML supports any version of Petri net since new Petri net types can be defined by so-called Petri Net Type Definitions (PNTD). In this paper, we present the syntax and the semantics of PNML as well as the principles underlying its design. Moreover, we present an extension called modular PNML, which is a typ...

The universal inhibitor Petri net was constructed that executes an arbitrary given inhibitor Petri net. The inhibitor Petri net graph, its marking and the transitions firing sequence were encoded as 10 scalar nonnegative integer numbers and represented by corresponding places of universal net. The algorithm of inhibitor net executing that uses scalar variables only was constructed on its state ...