Z and high level Petri nets

High level Petri nets have tokens with values, traditionally called colors, and transitions that produce tokens in a functional way, using the consumed tokens as arguments of the function application. Large nets should be designed in a topdown approach and therefore we introduce a hierarchical net model which combines a data flow diagram technique with a high level Petri net model. We use Z to specify this net model, which is in fact the metamodel for specific systems. Specific models we specify partly by diagrams and partly in Z. We give some advantages and disadvantages of using Z in this way. Finally we show how to specify systems by means of an example

Interrogating Associations Between Polygenic Liabilities and Electroconvulsive Therapy Effectiveness

BACKGROUND: Electroconvulsive therapy (ECT) is the most effective treatment for severe major depressive episodes (MDEs). Nonetheless, firmly established associations between ECT outcomes and biological variables are currently lacking. Polygenic risk scores (PRSs) carry clinical potential, but associations with treatment response in psychiatry are seldom reported. Here, we examined whether PRSs for major depressive disorder, schizophrenia (SCZ), cross-disorder, and pharmacological antidepressant response are associated with ECT effectiveness. METHODS: A total of 288 patients with MDE from 3 countries were included. The main outcome was a change in the 17-item Hamilton Depression Rating Scale scores from before to after ECT treatment. Secondary outcomes were response and remission. Regression analyses with PRSs as independent variables and several covariates were performed. Explained variance (R2) at the optimal p-value threshold is reported. RESULTS: In the 266 subjects passing quality control, the PRS-SCZ was positively associated with a larger Hamilton Depression Rating Scale decrease in linear regression (optimal p-value threshold = .05, R2 = 6.94%, p < .0001), which was consistent across countries: Ireland (R2 = 8.18%, p = .0013), Belgium (R2 = 6.83%, p = .016), and the Netherlands (R2 = 7.92%, p = .0077). The PRS-SCZ was also positively associated with remission (R2 = 4.63%, p = .0018). Sensitivity and subgroup analyses, including in MDE without psychotic features (R2 = 4.42%, p = .0024) and unipolar MDE only (R2 = 9.08%, p < .0001), confirmed the results. The other PRSs were not associated with a change in the Hamilton Depression Rating Scale score at the predefined Bonferroni-corrected significance threshold. CONCLUSIONS: A linear association between PRS-SCZ and ECT outcome was uncovered. Although it is too early to adopt PRSs in ECT clinical decision making, these findings strengthen the positioning of PRS-SCZ as relevant to treatment response in psychiatry

Fecundity and spawning of the Atlantic horseshoe crab, Limulus polyphemus, in Pleasant Bay, Cape Cod, Massachusetts, USA

Author Posting. © The Authors, 2005. This is the author's version of the work. It is posted here by permission of Blackwell for personal use, not for redistribution. The definitive version was published in Marine Ecology 27 (2006): 54-65, doi:10.1111/j.1439-0485.2005.00053.x.This study provided the first comprehensive analysis of Atlantic horseshoe crab (Limulus polyphemus) fecundity. Limulus appear to be determinate spawners, maturing all their eggs for the breeding season before spawning begins. On average, larger females held a larger number of eggs (63,500) than smaller females (14,500). By the end of the breeding season there was an average of 11,600 mature eggs female-1 left undeposited, regardless of female size. Larger females laid a higher percentage of the eggs they contained. Thus they not only contain more eggs, but are more effective at laying them as well. Size of spawning females ranged from about 185-300 mm prosomal width, with by far the highest concentration in the mid-size ranges. Although on an individual basis large females carry and lay the greatest number of eggs, mid-size crabs as a group contributed more to the horseshoe crab population in Pleasant Bay because they were more plentiful (net fecundity was highest for mid-size crabs). These results have implications for the management of this important species, which is harvested for bait, scientific, and biomedical uses. Incorporation of these results into models and other management tools can help predict growth rates, effects of size-selective harvest, reproductive value, and stable stage distribution of populations.This project was partially funded by MIT Sea Grant 8247-5