An Introduction to the Theoretical Aspects of Coloured Petri Nets

An ensemble is a collection of independent processes, each tasked with drawing potentially differing conclusions about the same data. Using Petri nets, this paper formally describes how ensembles are organized and their behavior coordinated to effect distributed discrete event control of an ocean turbine prototype. Compositions, duals, reverses, and cliques formed over known Petri net graphs comprise the building blocks of the proposed ensemble coordination strategy. The behavior of an ensemble of controllers tasked with fault triage are subject to constraints formulated herein. The controller tasked with prognosis and health management (PHM) itself uses an ensemble of classifiers to detect faults. This ensemble is subject to constraints imposed by stream processing, which require a nonblocking form of rendezvous synchronization. Furthermore, results from each classifier must be fused in a manner that rewards that classifier's ability to predict faults. We identify two competing merit schemes -one based on individual classifier performance and the other on performance of the sub-ensembles to which that classifier participates. Finally, we model check these Petri nets and report their results.

show abstract

“…Dynamic properties described in [4,5] characterize each net's behavior. A dead transition (DT) is one that can never be enabled.…”

Section: Verification Resultsmentioning

confidence: 99%

Ensemble Coordination for Discrete Event Control

Sloan

Khoshgoftaar

2011

2011 IEEE 13th International Symposium on High-Assurance Systems Engineering

View full text Add to dashboard Cite

show abstract

“…Petri net has sufficient ability to support all modeling primitives, and have been widely used in various fields of information system analysis and control. Literature [13] gives the complete formal definition of a CPN. The purpose of this definition is to give a mathematically sound and unambiguous description of a CPN.…”

Section: Testing Criteria Based On Cpn State Spacementioning

confidence: 99%

Generating Test Cases Using Colored Petri Net

Cai¹,

Zhang²,

Liu³

2010

2010 2nd International Symposium on Information Engineering and Electronic Commerce

View full text Add to dashboard Cite

A Petri Net is a graphical and mathematical modeling approach used to describe the transition of states for an information system. This paper presents a novel technique to generating test cases using a Colored Petri Net (CPN) model. The state space of a model based on CPN provides a solid basis for test cases generation in a form that can be easily manipulated. This technique is based on three testing coverage criteria according to the state space. The advantage of this approach is that the correctness of the specification based on CPN can be validated by simulation tools and the state space can be also generated by state space tools. The case for vending machine illustrates the effectiveness of this method.

show abstract

“…We therefore have a Temporized Coloured Petri network model. To schematize it, we use the Petri network formalism proposed by Jensen et al (1994).…”

Section: Development Spread Representation By Network Interpretationmentioning

confidence: 99%