The phrase "a petri Net of" is correct and usable in written English, assuming "Petri Net" is intended to refer to the mathematical modeling tool.
You can use it in contexts related to computer science, systems modeling, or workflow analysis where Petri Nets are applicable.
Example: "The researchers developed a Petri Net of the manufacturing process to analyze bottlenecks and improve efficiency."
Alternatives: "a Petri network of" or "a Petri diagram of".
In this paper, we propose to model both the controlled object and the SFC program by a Petri net for verification by both types of simulations.
Our idea is to utilize a Petri net to model the change relationships of chemical concentrations acquired by two sensors mounted on the both sides of a DaNI robot during a tracing process.
The model consists of a Petri net and of differential equations whose validity depends on the marking of the net.
We propose a method based on a qualitative analysis of a Petri net model of the system.
In a related work, Chaouiya et al. propose a method to derive a standard Petri net from a Boolean regulatory model [ 107]; the more general case of a Petri net representation of multi-valued logical models has also been considered [ 108].
This method is based on hierarchical representation of the state space of a Petri net by means of a collection of monotone logical functions and with related set of binary decision diagrams.
In this case the control function must be f r (x 4)= 0. By comparison of state vectors where the reaction is enabled and state vectors of terminal states where the reaction has to be disabled, one then identifies potential places, the marking of which might control the firing licence of the respective transition of a Petri net in terms of an argument of the control function.
We developed a Petri net model of the RSM protocol and used the model checking functions of our tool SMART to investigate behaviors that can be classified as missed alarm scenarios in RSM.
A Petri net model of an interaction has the potential to lead to biological insight into the cause of a genetic disease.
A Petri net consists of places, transitions, and tokens (see Figure 1).
