13 research outputs found
Damaging alleles affecting multiple CARD14 domains are associated with palmoplantar pustulosis
No abstract available
An algebra of Petri nets with arc-based time restrictions
Diez imágenes de una vasculitis y una toxoplasmosis cerebral en un paciente con sida.Ten pictures of a vasculitis and a cerebral toxoplasmosis in a patient with AIDS
Newcastle upon Tyne, NE1 7RU, UK. An Algebra of Timed-Arc Petri Nets
Abstract. In this paper we present and investigate two algebras, one based on term re-writing and the other on Petri nets, aimed at the specification and analysis of concurrent systems with timing information. The former is based on process expressions (at-expressions) and employs a set of SOS rules providing their operational semantics. The latter is based on a class of Petri nets with time restrictions associated with their arcs, called at-boxes, and the corresponding transition firing rule. We relate the two algebras through a compositionally defined mapping which for a given at-expression returns an at-box with behaviourally equivalent transition system. The resulting model, called the Arc Time Petri Box Calculus (atPBC), extends the existing approach of the Petri Box Calculus (PBC). Keywords: Net-based algebraic calculi; arc-based time Petri nets; relationships between net theory and other approaches; process algebras; box algebra; SOS semantics.
Section 3.8 written by Divakar Yadav and Michael Butler
One aim of the Rodin project is to contribute formal methods which will underpin the creation of fault-tolerant systems. This intermediate report from WP2 (Methodology) describes progress during the second year of the Rodin project; it also discusses our plans for the final deliverable on methodology. Contributors: Many people have written material for Chapters 3 and 2; specific contributions include: Section 2.1 written by Linas Laibinis Section 2.2 written by Ian Johnson Section 2.3 written by Ian Oliver Section 2.4 written by Neil Evans and Michael Butler (on behalf of Praxis) Section 2.5 written by Maciej Koutny Section 3.1 written by Maciej Koutn