Hemojuvelin–hepcidin axis modeled and analyzed using Petri nets

Selected aspects of essential hypertension and cardiovascular disease – modeled and analyzed using timed Petri nets

Synthesis of Controllers of Processes Modeled as Colored Petri Nets

Optimal Control of Asynchronous Boolean Networks Modeled by Petri Nets

A Boolean network model is one of the models of gene regulatory networks, and is widely used in analysis and control. Although a Boolean network is a class of discrete-time nonlinear systems and expresses the synchronous behavior, it is important to consider the asynchronous behavior. In this paper, using a Petri net, a new modeling method of asynchronous Boolean networks with control inputs is...

Control of Distributed Discrete Event Systems Modeled as Petri Nets

This paper develops a distributed control for forbidden state avoidance for discrete event systems which are mod-eled as Petri nets. We consider a class of Petri nets controlled by multiple local controllers, each of which has partial observation of the system states and limited control to the system. The local controllers interact through a communication channel to achieve a control that ensur...

Observability of discrete event systems modeled by interpreted Petri nets

This paper is concerned with the analysis of the observability of the discrete event systems (DES) modeled by interpreted Petri nets (IPN). This paper presents three major contributions on the field of the observability of DES. First, an observability definition for IPN is proposed. This definition is more precise than previous ones because it deals with the possibility of determining the syste...