A symbolic algorithm for the synthesis of bounded Petri nets

This paper presents an algorithm for the synthesis of bounded Petri nets from transition systems. A bounded Petri net is always provided in case it exists. Otherwise, the events are split into several transitions to guarantee the synthesis of a Petri net with bisimilar behavior. The algorithm uses symbolic representations of multisets of states to efficiently generate all the minimal regions. The algorithm has been implemented in a tool. Experimental results show a significant net reduction when compared with approaches for the synthesis of safe Petri nets.Peer ReviewedPostprint (author's final draft

A Comparison of Petri Net Semantics under the Collective Token Philosophy

In recent years, several semantics for place/transition Petri nets have been proposed that adopt the collective token philosophy. We investigate distinctions and similarities between three such models, namely configuration structures, concurrent transition systems, and (strictly) symmetric (strict) monoidal categories. We use the notion of adjunction to express each connection. We also present a purely logical description of the collective token interpretation of net behaviours in terms of theories and theory morphisms in partial membership equational logic

Early recognition and treatment of neuropsychiatric symptoms to improve quality of life in early Alzheimer's disease

__Background:__ Neuropsychiatric symptoms (NPS) are very common in patients with mild cognitive impairment (MCI) and Alzheimer's disease (AD) dementia and are associated with various disadvantageous clinical outcomes including a negative impact on quality of life, caregiver burden, and accelerated disease progression. Despite growing evidence of the efficacy of (non)pharmacological interventions to reduce these symptoms, NPS remain underrecognized and undertreated in memory clinics. The BEhavioural symptoms in Alzheimer's disease Towards early Identification and Treatment (BEAT-IT) study is developed to (1) investigate the neurobiological etiology of NPS in AD and (2) study the effectiveness of the Describe, Investigate, Create, Evaluate (DICE) approach to structure and standardize the current care of NPS in AD. By means of the DICE method, we aim to improve the quality of life of AD patients with NPS and their caregivers who visit the memory clinic. This paper describes the protocol for the intervention study that incorporates the latter aim. __Methods:__ We aim to enroll a total of 150 community-dwelling patients with MCI or AD and their caregivers in two waves. First, we will recruit a control group who will receive care as usual. Next, the second wave of participants will undergo the DICE method. This approach consists of the following steps: (1) describe the context in which NPS occur, (2) investigate the possible causes, (3) create and implement a treatment pl

Membrane electrode assembly design by use of modelling and cell diagnostics in practical solid polymer fuel cells

SIGLEAvailable from British Library Document Supply Centre-DSC:3816.46616(F/02/00094/REP) / BLDSC - British Library Document Supply CentreGBUnited Kingdo

Event Structures for the Collective Tokens Philosophy of Inhibitor Nets

In recent years the collective tokens philosophy for Petri Nets has gained again the stage, but it is commonly set in opposition to the individual tokens philosophy. In this paper we investigate what can be an adequate event structures to capture the collective tokens philosophy of nets when inhibitor arcs are taken into account