petri net

In 2021 and 2022, the national and cross-sector project CAPRIV funded by the French Ministry of Agriculture, made it possible to assess the influence of application techniques associated or not with a hedge or an anti-drift net on spray drift and bystander exposure. The acronym CAPRIV stands for " Concilier l'application des PPP et la protection des riverains " (Reconciling the use of PPPs and the protection of residents), within the orchard, viticulture, and field crops sectors. This specific data article focuses on field crops, especially on wheat...

The article discusses the need for a lightweight software architecture evaluation framework that can address practitioners' concerns. Specifically, the proposed framework uses process mining and Petri nets to analyze security and performance in software development's early and late stages. Moreover, the framework has been implemented in six case studies, and the results show that it is a feasible and effective solution that can detect security and performance issues in complex and heterogeneous architecture with less time and effort...

Several pests affect coffee (Coffea spp., Rubiaceae) and macadamia, Macadamia integrifolia Maiden & Betche (Proteaceae) in Hawaii. The coffee berry borer, Hypothenemus hampei (Ferrari) (Coleoptera: Curculionidae: Scolytinae), is the most damaging to coffee, while the tropical nut borer, Hypothenemus obscurus (Fabricius) (Coleoptera: Curculionidae: Scolytinae), is one of the worst pests of macadamia. This paper investigates the potential efficacy of a long-lasting insecticide-incorporated net (LLIN) under laboratory conditions to manage these pests...

Location privacy is an important parameter to be addressed in the case of vehicular ad hoc networks. Each vehicle frequently communicates with location-based services to find the nearest location of interest. The location messages communicated with the location server may contain sensitive information like vehicle identity, location, direction, and other headings. A Location-Based Services (LBS) server is not a trusted entity; it can interact with an adversary, compromising the location information of vehicles on the road and providing a way for an adversary to extract the future location tracks of a target vehicle...

This study presents an intelligent Decision Support System (DSS) aimed at bridging the theoretical-practical gap in groundwater management. The ongoing demand for sophisticated systems capable of interpreting extensive data to inform sustainable groundwater decision-making underscores the critical nature of this research. To meet this challenge, telemetry data from six randomly selected wells were used to establish a comprehensive database of groundwater pumping parameters, including flow rate, pressure, and current intensity...

The aim of the study was to optimize the pre-hospital first aid management strategy for patients with infectious diseases in Huizhou city, which is expected to provide a basis for the epidemic prevention and control, to save lives, and increase the pre-hospital first aid efficiency. At the Department of Emergency, Huizhou Third People's Hospital as the research subject, the common pre-hospital first aid procedure for infectious diseases was identified. The Petri net was used to model and determine the execution time of each link of the pre-hospital first aid process...

In this paper, an automatic colony counting system based on an improved image preprocessing algorithm and convolutional neural network (CNN)-assisted automatic counting method was developed. Firstly, we assembled an LED backlighting illumination platform as an image capturing system to obtain photographs of laboratory cultures. Consequently, a dataset was introduced consisting of 390 photos of agar plate cultures, which included 8 microorganisms. Secondly, we implemented a new algorithm for image preprocessing based on light intensity correction, which facilitated clearer differentiation between colony and media areas...

BACKGROUND: Primary care physicians (PCP) play a key role in offering colorectal cancer (CRC) screenings, particularly amongst underserved populations. Given potential delays in or omission of CRC screening in the absence of a PCP, we aimed to determine stage of CRC at diagnosis in an underserved population. METHODS: A retrospective chart review was conducted at two Los Angeles County safety-net hospitals. Inclusion criteria were a CRC diagnosis between 2018 and 2021 and age between 50 and 75 years at diagnosis time...

Chronic superphysiological glucose concentration is a hallmark of diabetes mellitus (DM) and a cause of damage to many types of cells. Atherosclerosis coexists with glucose metabolism disturbances, constituting a significant problem and exacerbating its complications. Atherosclerosis in DM is accelerated, so it is vital to slow its progression. However, from the complex network of interdependencies, molecules, and processes involved, choosing which ones should be inhibited without blocking the pathways crucial for the organism's functioning is challenging...

Biological systems inherently span multiple levels, which can pose challenges in spatial representation for modelers. We present a protocol that utilizes colored Petri nets to construct and analyze biological models of systems, encompassing both unilevel and multilevel scenarios. We detail a modeling workflow exploiting the PetriNuts platform comprising a set of tools linked together via common file formats. We describe steps for modeling preparation, component-level modeling and analysis, followed by system-level modeling and analysis, and model use...

In the rapidly evolving urban advanced mobility (UAM) sphere, Vehicular Ad Hoc Networks (VANETs) are crucial for robust communication and operational efficiency in future urban environments. This paper quantifies VANETs to improve their reliability and availability, essential for integrating UAM into urban infrastructures. It proposes a novel Stochastic Petri Nets (SPN) method for evaluating VANET-based Vehicle Communication and Control (VCC) architectures, crucial given the dynamic demands of UAM. The SPN model, incorporating virtual machine (VM) migration and Edge Computing, addresses VANET integration challenges with Edge Computing...

The primary aim of this research was to propose algorithms enabling the identification of significant reactions and subprocesses within models of biological systems constructed using classical Petri nets. These solutions allow to performance of two analysis methods: an importance analysis for identifying individual reactions critical to the functioning of the model and an occurrence analysis for finding essential subprocesses. To demonstrate the utility of these methods, analyses of an example model have been performed...

OBJECTIVE: Computational models are at the forefront of the pursuit of personalized medicine thanks to their descriptive and predictive abilities. In the presence of complex and heterogeneous data, patient stratification is a prerequisite for effective precision medicine, since disease development is often driven by individual variability and unpredictable environmental events. Herein, we present GreatNectorworkflow as a valuable tool for (i) the analysis and clustering of patient-derived longitudinal data, and (ii) the simulation of the resulting model of patient-specific disease dynamics...

The cold chain supply chain of e-commerce has the characteristics of long chain, dispersed production, heterogeneous information sources, etc., which is easy to cause the upstream and downstream information of the supply chain to be broken and opaque. Traditional traceability data is stored in each node enterprise, and there are problems such as low cooperation trust and poor authenticity in the upstream and downstream data transmission process of the supply chain, resulting in consumers' trust crisis on the authenticity of traceability information...

MOTIVATION: Dynamical properties of biochemical pathways (BPs) help in understanding the functioning of living cells. Their in silico assessment requires simulating a dynamical system with a large number of parameters such as kinetic constants and species concentrations. Such simulations are based on numerical methods that can be time-expensive for large BPs. Moreover, parameters are often unknown and need to be estimated. RESULTS: We developed a framework for the prediction of dynamical properties of BPs directly from the structure of their graph representation...

Dynamic processes in various fields exhibit risk coupling phenomena, but existing risk analysis studies tend to ignore the risk coupling effects of dynamic scenarios. Considering the principles of digitization, objective quantification, and the full process that should be adopted in the risk coupling analysis, an integrated risk coupling analysis framework is proposed. Specifically, the weighted Eclat algorithm is used to mine the risk association rules, then the key risk factors are extracted by social network analysis, and the stochastic Petri net is used to complete the construction, simulation, and evolution of accident scenarios...

Colony-Forming Unit (CFU) counting is a complex problem without a universal solution in biomedical and food safety domains. A multitude of sophisticated heuristics and segmentation-driven approaches have been proposed by researchers. However, U-Net remains the most frequently cited and used deep learning method in these domains. The latter approach provides a segmentation output map and requires an additional counting procedure to calculate unique segmented regions and detect microbial colonies. However, due to pixel-based targets, it tends to generate irrelevant artifacts or errant pixels, leading to inaccurate and mixed post-processing results...

In contemporary society, the incidence of depression is increasing significantly around the world. At present, most of the treatment methods for depression are psychological counseling and drug therapy. However, this approach does not allow patients to visualize the logic of hormones at the pathological level. In order to better apply intelligence computing methods to the medical field, and to more easily analyze the relationship between norepinephrine and dopamine in depression, it is necessary to build an interpretable graphical model to analyze this relationship which is of great significance to help discover new treatment ideas and potential drug targets...

We implement a method from computer sciences to address a challenge in Paleolithic archaeology: how to infer cognition differences from material culture. Archaeological material culture is linked to cognition, and more complex ancient technologies are assumed to have required complex cognition. We present an application of Petri net analysis to compare Neanderthal tar production technologies and tie the results to cognitive requirements. We applied three complexity metrics, each relying on their own unique definitions of complexity, to the modeled production processes...

This planetary boundaries framework update finds that six of the nine boundaries are transgressed, suggesting that Earth is now well outside of the safe operating space for humanity. Ocean acidification is close to being breached, while aerosol loading regionally exceeds the boundary. Stratospheric ozone levels have slightly recovered. The transgression level has increased for all boundaries earlier identified as overstepped. As primary production drives Earth system biosphere functions, human appropriation of net primary production is proposed as a control variable for functional biosphere integrity...