Since their introduction, process trees have been frequently used as a process modeling formalism in many process mining algorithms. A process tree is a (mathematical) tree-based model of a process, in which internal vertices represent behavioral control-flow relations and leaves represent process activities. Translation of a process tree into a sound Workflow net is trivial; however, the reverse is not the case. Simultaneously, an algorithm that translates a WF-net into a process tree is of great interest, e.g., the explicit knowledge of the control-flow hierarchy in a WF-net allows one to reason on its behavior more easily. Hence, in this paper, we present such an algorithm, i.e., it detects whether a WF-net corresponds to a process tree, and, if so, constructs it. We prove that, when the algorithm finds a process tree, the language of the process tree is equal to the language of the original WF-net. The experiments conducted show that the algorithm’s corresponding implementation has a quadratic time complexity in the size of the WF-net. Furthermore, the experiments show strong evidence of process tree re-discoverability.

Mycobacterium tuberculosis complex causes tuberculosis (TB), a disease that causes pulmonary inflammation but can also affect other tissues. Despite macrophages having a defined role in TB immunopathogenesis, other innate immune cells, such as neutrophils, are involved in this process. These cells have high phagocytic ability and a microbial-killing machine comprised of enzymes, antimicrobial peptides, and reactive oxygen species. In the last two decades, a new neutrophil immune response, the neutrophil extracellular traps (NETs), has been intensely researched. NETs comprise DNA associated with histones, enzymes, and antimicrobial peptides. These structures are related to antimicrobial immune response and some immuno-pathogenesis mechanisms. This mini review highlights the role of NETs in tuberculosis and how they can be helpful as a diagnostic tool and/or therapeutic target.

Lung neuroendocrine tumors (LNETs) and gastroenteropancreatic neuroendocrine tumors (GEPNETs) are two distinct types of neuroendocrine tumors (NETs) that have traditionally been treated as a single entity despite originating from different sources. Although they share certain phenotypic characteristics and the expression of neuroendocrine markers, they exhibit differences in their microenvironment, molecular mutations, and responses to various therapeutic regimens. Recent research has explored the genetic alterations in these tumors, revealing dissimilarities in the frequently mutated genes, role of EGFR in carcinogenesis, presence of transcription factors, and immunogenicity of the tumor and its microenvironment. Spread Through Air Spaces (STAS), a phenomenon unique to lung carcinomas, appears to play a crucial role in LNET prognosis. These distinctions are also evident in the cascade response of lung and GI tract neuroendocrine tumors to somatostatin analogs, Peptide Receptor Radionuclide Therapy (PRRT), chemotherapy, and immunotherapy. Identifying similarities and differences between the two groups may im-prove our understanding of the underlying mechanisms and facilitate the development of more effective treatment strategies.

Pancreatic neuroendocrine tumor (P-NET) is a rare neoplasm originating in the neuroendocrine system. Carcinoid syndrome occurs in approximately 19% of patients with functional P-NETs, typically when liver metastases occur. NETs diagnosis is frequently late, along with symptoms related to hormone hypersecretion. We described the case of a patient with a low-grade non-functional P-NET, but with a typical clinical presentation of a carcinoid syndrome; moreover, we reviewed the literature regarding this topic. An 81-year-old male was admitted to our Department of Internal Medicine at Cannizzaro Hospital (Catania, Italy) because of the onset of abdominal pain with nausea, loose stools and episodic flushing. Firstly, an abdominal contrast-enhanced CT scan showed a small pancreatic hypervascular mass; then a gallium-68 DOTATOC integrated PET/CT revealed an elevated expression of SSTR receptors. Serum Chromogranin A and urinary 5-HIAA measurements resulted negative. Given the small size of the lesion (8 mm), we preferred to perform an endoscopic ultrasonography (EUS) with fine-needle biopsy (EUS-FNB), allowing the diagnosis of low-grade (G1) non-functional P-NET (NF-P-NET). Surgery was waived, while a follow-up strategy was chosen. Early recognition of P-NETs, although rare, is necessary to improve patient’s survival. EUS-FNB should be the protocol of choice for an early characterization of these tumors.

The evolutionary systems (ES) include software applications that solve problems using heuristic methods instead of the deterministic ones. The classical computing used for ES development involves random methods to improve different kinds of genomes. The mappings of these genomes lead to individuals that correspond to the searched solutions. The individual evaluations by simulations serve for the improvement of their genotypes. Quantum computations, unlike the classical computations, can describe and simulate a large set of individuals simultaneously. This feature is used to diminish the time for finding the solutions. Quantum Petri Nets (QPNs) can model dynamical systems with probabilistic features that make them appropriate for the development of ES. Some examples of ES applications using the QPNs are given to show the benefits of the current approach.

Development of rovers and development of infrastructure which enables them to probe other planets (such as Mars) have sparked a lot of interest recently specially with increasing public attention in Moon and Mars program by National Aeronautics and Space Administration. This is designed to be achieved by various means such as advanced spectroscopy and artificial intelligent techniques such as deep learning and transfer learning to enable the rover to not only map the surface of planet but to get a detailed information about its chemical makeup in layers beneath (deep learning) and in areas around point of observation (transfer learning). In this work, which is part of a proposal, later approach is explored. A systematic strategy is presented which make use of aforementioned techniques developed for metallic glass matrix composites as benchmark and helps develop algorithms for chemistry mapping of actual Martian surface on Perseverance Rover launching shortly.

We examine the use of deep learning (neural networks) to predict the movement of the S&P 500 Index using past returns of all the stocks in the index. Our analysis finds that the future direction of the S&P 500 index can be weakly predicted by the prior movements of the underlying stocks in the index. Decomposition of the prediction error indicates that most of the lack of predictability comes from randomness and only a little from nonstationarity. We believe this is the first test of S&P500 market efficiency that uses a very large information set, and it extends the domain of weak-form market efficiency tests.

Industrial discrete event dynamic systems (DEDSs) are commonly modelled by means of Petri nets (PNs). PNs have the capability to model behaviours such as concurrency, synchronization, and resource sharing, compared to a GRAphe Fonctionnel de Commande Etape Transition (GRAFCET) which is a particular case of a PN. However, there is not a systematic way to implement a PN in a programmable logic controller (PLC), and so it is very common the implementation of such a controller outside a PLC, in some external software that will communicate with the PLC. There have been some attempts to implement PNs within a PLC, but they are dependent on how the logic of places and transitions is programmed for each application. This work proposes a novel application-independent and platform-independent PN implementation methodology. This methodology is a systematic way to implement a PN controller within industrial PLCs. A great portion of the code will be validated automatically prior to PLC implementation. Net structure and marking evolution will be checked on the basis of PN model structural analysis, and only net interpretation will be manually coded and error-prone. Thus, this methodology represents a systematic and semi-compiled PN implementation method. A use case supported by a digital twin (DT) is shown where the automated solution required by a manufacturing system is carried out and executed in two different devices for portability testing, and the scan cycle periods are compared for both approaches.

Applied electrostatic engineering can be used to construct greenhouses that prevent entry of insect pests. Two types of electric field screen were used to exclude pests from the greenhouse: single- and double-charged dipolar electric field screens (S- and D-screen, respectively). The S-screen consisted of iron insulated conductor wires (ICWs) arrayed in parallel (ICW-layer), a grounded metal net on either side of the ICW-layer, and a direct current voltage generator. S-screens were attached to the side windows of the greenhouse to repel whiteflies (Bemisia tabaci) that approached the nets. The D-screen was installed in a small anteroom at the greenhouse entrance to capture whiteflies entering through it. The ICW-layers of the D-screen were oppositely charged with equal voltages and arrayed alternately, and an insulator board or grounded metal net was placed on one side of the ICW-layer. The ICW-layers captured whiteflies entering the electric field of the double-charged dipolar electric field. Three screens equipped with yellow or gray boards or a grounded metal net were installed in the anteroom based on the airflow inside the room, as most whiteflies were brought in by air when the door was opened. Two D-screens with boards were useful for directing the airflow toward the wall with the netted D-screen. This screen eliminated the insects and the pest-free air was circulated inside the greenhouse. The D-screen with the yellow board attracted the whiteflies and was effective for trapping them when there was no wind. Our method kept the greenhouse pest-free throughout the entire period of tomato (Solanum lycopersicum) cultivation.

Pedestrian detection is the core of driver assistance system, which collects the road conditions through the radars or cameras on the vehicle, judges whether there is a pedestrian in front of the vehicle, supports decisions such as raising the alarm, automatically slowing down or emergency stopping to keep pedestrians safe, and improves the security when the vehicle is moving. Suffered from weather, lighting, clothing, large pose variations and occlusion, the current pedestrian detection still has a certain distance from the practical applications. In recent years, deep networks have shown excellent performance for image detection, recognition and classification. Some researchers employed deep network for pedestrian detection and achieve great progress, but deep networks need huge computational resources which make it difficult to put into practical applications. In real scenarios of autonomous vehicle, the computation ability is limited. Thus, the shallow networks such as UDN (Unified Deep Networks) is a better choice since it performs well on consuming less computation resources. Base on UDN, this paper proposes a new deep network model named as two-stream UDN, which augments another branch for solving traditional UDN’s indistinction of the difference between trees / telegraph poles and pedestrians. The new branch accepts the upper third part of the pedestrian image as input, and the partial image has less deformation, stable features and more distinguished characters from other objects. For the proposed two-stream UDN, multi-input features including HOG feature, Sobel feature, color feature and foreground regions extracted by GrabCut segmentation algorithms are fed. Compared with the original input of UDN, the multi-input features are more conducive for pedestrian detection since the fused HOG features and significant objects are more significant for pedestrian detection. Two-stream UDN is trained through two steps: First, the two sub-networks are trained until converge; then we fuse results of the two subnets as the final result and feed it back to the two subnets to fine tune network parameters synchronously. To improve the performance, Softplus is adopted as activation function to obtain faster training speed, and positive samples are mirrored and rotated with small angle to make positive and negative samples more balanced.

COVID-19 thromboembolic disease has brought all of us back to the drawing board. In COVID-19, pre-existing activated endothelium with increased Von Willebrand factor (VWF), low density lipoprotein (LDL) promoting “self-association” and “sticking” of long VWF strings to the vascular endothelial wall, suppressed ADAMTS13 cleavage of VWF, hypoxia induced upregulation and activation of VWF, fibrous network from neutrophil extracellular traps (NETs) with free DNA and histone, all appear to be initiating the thrombogenesis. Worsening complement activation, cytokine storm and resulting endothelial destruction, unregulated thrombogenesis leads to vascular occlusions and hypoxia. At this stage, the presence of abundant extracellular DNA, histone and -defensins appears worse than the SARS-CoV-2 itself. Previously observed in vitro mechanisms like histone “auto-activating” prothrombin, histone activated platelets generating thrombin without FXII, thrombin and plasmin cleaving complement C5 appears highly likely in COVID-19. Megakaryocytes are actively producing platelets in the lungs and appear to play a major role in thrombogenesis of COVID-19 raising suspicion of emperipolesis. This focused review is a compilation of my observations in relation to the pathophysiology of the intravascular environment, mainly in COVID-19 lungs. Pathophysiology based clinical trials are paramount in reducing morbidity and mortality in COVID-19.

Aberrant neutrophil extracellular trap (NET) formation and the loss of barrier integrity in inflamed intestinal tissues have long been associated with inflammatory bowel disease (IBD). However, whether NETs alter intestinal epithelium permeability during colitis remains elusive. Here, we demonstrated that NETs promote the breakdown in intestinal barrier function for the pathogenesis of intestinal inflammation in mouse models of colitis. NETs were abundant in the colon of mice with colitis experimentally induced by dextran sulfate sodium (DSS) or 2,4,6-trinitrobenzene sulfonic acid (TNBS). Analysis of the intestinal barrier integrity revealed that NETs impaired gut permeability, enabling the initiation of luminal bacterial translocation and inflammation. Furthermore, NETs induced the apoptosis of epithelial cells and disrupted the integrity of tight junctions and adherens junctions. Intravenous administration of DNase I, an enzyme that dissolves the web-like DNA filaments of NETs, during colitis restored the mucosal barrier integrity which reduced the dissemination of luminal bacteria, and attenuated intestinal inflammation in both DSS and TNBS models. We conclude that NETs serve a detrimental factor in the gut epithelial barrier function leading to the pathogenesis of mucosal inflammation during acute colitis.

We construct families of ground state representations of the U(1)-current net and of the Virasoro nets Vir_c with central charge c ≥ 1. We show that these representations are not covariant with respect to the original dilations, and those on the U(1)-current net are not solitonic. Furthermore, by going to the dual net of with respect to the ground state representations of Vir_c, one obtains possibly new family of Möbius covariant nets on S¹.

Anti-DNA antibodies are hallmark autoantibodies produced in systemic lupus erythematosus (SLE), but their pathogenetic roll is not fully understood. Accumulating evidence suggests that some anti-DNA antibodies enter different types of live cells and affect the pathophysiology of SLE by stimulating or impairing these cells. Circulating neutrophils in SLE are activated by type I interferon or other stimuli and primed to release neutrophil extracellular traps (NETs) on additional stimulation. Anti-DNA antibodies are also involved in this process and may induce NET release. Thereafter, they bind and protect extracellular DNA in the NETs from digestion by nucleases, resulting in increased NET immunogenicity. This review discusses the pathogenetic role of anti-DNA antibodies in SLE, mainly focusing on recent progress in the two research fields concerning antibody penetration into live cells and NETosis.

Petri nets are a graphical notation for describing a class of discrete event dynamic systems whose behaviours are charaterised by concurrency, synchronisation, mutual exclusion and conflict. They have been used over the years for the modelling of various distributed systems applications. With the advent of pervasive systems and the Internet of Things, the Calculus of Context-aware Ambients (CCA) emerged as a suitable formal notation for analysing the behaviours of these systems. In this paper, we are interested in comparing the expressive power of Petri nets to that of CCA. That is, can the class of systems represented by Petri nets be modelled in CCA? To answer this question, an algorithm is proposed that maps any Petri net onto a CCA process. We show that a Petri net and its corresponding CCA process behave the same way through experiments. It follows that CCA is at least as expressive as Petri nets, i.e. any system that can be specified in Petri nets can also be specified in CCA. Moreover, tools developed for CCA can also be used to analyse Petri nets.

The ability of deep learning to process vast data and uncover concealed malicious patterns has spurred the adoption of deep learning methods within the cybersecurity domain. Nonetheless, a notable hurdle confronting cybersecurity researchers today is the acquisition of a sufficiently large dataset to train deep learning models effectively. Privacy and security concerns associated with using real-world organization data have made cybersecurity researchers seek alternative strategies, notably focusing on generating synthetic data. Generative Adversarial Networks (GANs) have emerged as a prominent solution, lauded for their capacity to generate synthetic data spanning diverse domains. Despite their widespread use, the efficacy of GANs in generating realistic cyber attack data remains a subject requiring thorough investigation. Moreover, the proficiency of deep learning models trained on such synthetic data to accurately discern real-world attacks and anomalies poses an additional challenge that demands exploration. This paper delves into essential aspects of generative learning, scrutinizing their data generation capabilities, and conducts a comprehensive review to address the above questions. Through this exploration, we aim to shed light on the potential of synthetic data in fortifying deep learning models for robust cybersecurity applications.

This article makes a general analysis of the supply chain of photovoltaic systems in Colombia, taking as a starting point a conceptual base and the current situation of the country in this sector. This article especially will contemplate the non-interconnected areas (ZNI) to the electricity grid in the national, due to its complexity in the logistics issues. Likewise, the work performs a graphical representation of the stages and processes of the supply chain using a powerful-modeled tool such as the Petri Nets (PNs). Finally, it identifies some of the flaws in the operation and the joint of all the links of the logistic part and from there it is based the importance of the strategy of orientation to the supply chain (SCO) as a possible alternative to improve and to enhance the logistic processes of this type of systems.

Augment reality (AR) is crucial for immersive human-computer interaction (HCI) and vision of artificial intelligence (AI). Labeled data drove object recognition in AR. However, manual annotating data is expensive and labor-intensive, and furthermore, scanty labeled data limits the application of AR. Aiming at solving the problem of insufficient training data in AR object recognition, an automated vision data synthesis method called BAGAN is proposed in this paper based on the 3D modeling and GAN algorithm. Our approach has been validated to have better performance than other methods through image recognition task on natural image database ObjectNet3D. This study can shorten the algorithm development time of AR and expand the application scope of AR, which is of great significance to immersive interactive systems.

This paper presents a comprehensive simulation study of Automated Guided Vehicles (AGVs) in a fabricated production environment for toy car assembly. This paper uses Petri Nets for modeling and the General Petri Net Simulator (GPenSIM) for model implementation on MATLAB and simulation. The primary focus of this research is to analyze the operational efficiency of AGVs under varying conditions, particularly examining the impact of battery charge reduction rates and the strategic placement of charging stations within the production line. By employing Colored Petri Nets (CPN) within GPenSIM, we have developed a detailed and dynamic model that captures the intricate movements and interactions of AGVs in a simulated manufacturing setting. By presenting an approach to simulating AGVs in a production environment, this paper specifically focuses on two critical operational parameters: the battery charge reduction rate of AGVs and the number of charging stations available in the production line. Unlike previous studies that have primarily concentrated on general path planning or bottleneck detection in manufacturing systems, this paper delves into the intricate balance between AGV operational efficiency and the logistical constraints imposed by battery life and charging infrastructure.

Abstract: Viremia in coronavirus disease 2019 (COVID-19) caused by the severe acute respiratory syndrome coronavirus-2 (SARS-CoV-2) is often only discussed in passing and there are very few references detailing its structural mechanisms. In addition to viremia in the classic closed cardiovascular system, the lymphatic system is discussed in relation to a possible “lympho-viremia”. The cells that comprise each of these separate but interacting systems will be examined and include endothelial cells, erythrocytes, leukocytes (monocytes/monocyte-derived macrophages and resident tissue macrophages) (lymphocytes) (neutrophils) and thrombocytes -platelets. The SARS-CoV-2 virus has been identified in multiple extrapulmonary target organs at autopsy in those with severe COVID-19 requiring intensive care. Vulnerable COVID-19 patients may suffer from multiple storms including viral/virion storm, redox storm, cytokine storm and thrombo-embolic storm. Therefore, it is important that the possible mechanisms of viremia be explored in greater detail and how these mechanisms might affect intravascular blood components, extracellular tissue interstitium and organ structural remodeling and function. While the co-morbidity of T2DM does not increase the risk of acquiring COVID-19, it is commonly accepted that T2DM increases the risk for COVID-19 admissions to hospitals, assisted ventilation, morbidity and mortality. Importantly, the co-existence of T2DM and COVID-19 may have synergistic detrimental outcomes.

Durability monitoring of insecticide-treated nets (ITNs) containing a pyrethroid in combination with a second active ingredient (AI) must be adapted so that the insecticidal bioefficacy of each AI can be monitored independently. An effective way to do this is to measure rapid knock down of a pyrethroid-susceptible strain of mosquitoes to assess the bioefficacy of the pyrethroid component and to use a pyrethroid-resistant strain to measure the bioefficacy of the second ingredient. To allow robust comparison of results across tests within and between test facilities, and over time, protocols for bioefficacy testing must include either characterisation of the resistant strain, standardisation of the mosquitoes used for bioassays, or a combination of the two. Through a series of virtual meetings, key stakeholders and practitioners explored different approaches to achieving these goals. Via an iterative process we decided on the preferred approach and produced a protocol consisting of characterising mosquitoes used for bioefficacy testing before and after a round of bioassays, for example at each time point in a durability monitoring study. We present the final protocol and justify our approach to establishing a standard methodology for durability monitoring of ITNs containing pyrethroid and a second AI.

Neutrophils are the principal trouper of innate immune system. Activated neutrophils undergo a noble cell death termed NETosis and release a mesh-like structure called neutrophil extracellular traps (NETs) as a part of their defensive strategy against microbial pathogen attack. This web-like architecture includes a DNA backbone embedded with antimicrobial proteins like myeloperoxidase (MPO), neutrophil elastase (NE), histones etc. and deploys in the entrapment and clearance of encountered pathogens. Thus NETs play an inevitable beneficial role in the host's protection. However, recent accumulated evidence shows that dysregulated and enhanced NET formation has various pathological aspects including promotion of sepsis, pulmonary, cardiovascular, hepatic, nephrological, thrombotic, autoimmune, pregnancy, cancer diseases etc. and the list is increasing gradually. In this review, we summarize NETs mediated pathophysiology of different diseases, focus on some updated potential therapeutic approaches against NETs and share our future perspectives.