We describe a methodology that embeds the theory of preemptive Time Petri Nets (pTPN) along development and verification activities of a V-Model lifecycle to support the construction of concurrent real time SW components. Design activities leverage on a pTPN specification of the set of concurrent timed tasks. This supports design validation through simulation and state space analysis, and drive...

A number of image-processing problems can be formulated as optimization problems. The objective function typically contains several terms specifically designed for different purposes. Parameters in front of these terms are used to control the relative weights among them. It is of critical importance to tune these parameters, as quality of the solution depends on their values. Tuning parameter i...

AIM Autoimmune thyroid disease (AITD) is a multifactorial disease with a genetic predisposition. The protein tyrosine phosphatase-22 (PTPN-22) gene is a powerful inhibitor of T-cell activation. The aim of this study was to compare messenger RNA (mRNA) PTPN22 expression between healthy persons and patients with hypothyroidism and with their affected relatives. METHODS This was a cross-sectiona...

OBJECTIVE Blood brain barrier (BBB) breakdown and increased endothelial permeability is a hallmark of neuro-vascular inflammation. Angiopoietin-1 (Ang-1), a Tie-2 receptor agonist ligand, is known to modulate barrier function of endothelial cells; however the molecular mechanisms related to Ang-1 mediated repair of Tight Junctions (TJs) in brain endothelium still remain elusive. In this study, ...

We introduce a new model for the design of concurrent stochastic real-time systems. Probabilistic time Petri nets (PTPN) are an extension of time Petri nets in which the output of tokens is randomised. Such a design allows us to elegantly solve the hard problem of combining probabilities and concurrency. This model further benefits from the concision and expressive power of Petri nets. Furtherm...

Maksymilian Studniarski, a teacher and an involved citizen from Poznań, co-founder member of the Poznań Society for Advancement Arts Sciences (PTPN), has slipped to oblivion. To date, biography first conserver-restorer custodian collection PTPN Museum not been written. This article presents his life focuses on most important facts in it, functions he performed various societies, academic popula...

White tea is a type of that still sounds foreign, the high price makes white sometimes used as symbol one's social status. Due to price, not many people consume it, so it less popular. PT. Perkebunan Nusantara IX (PTPN-IX) which located at west foot Mount Slamet, precisely in Pandansari Paguyangan Village, Brebes Regency, Central Java, with an altitude 1,500-2,050 meters above sea level and tem...

In this paper, timed Petri nets are used to model and control hybrid systems. Petri nets are used instead of finite automata primarily because of the advantages they offer in dealing with concurrency and complexity issues. A brief overview of existing results on hybrid systems that are based on Petri nets is first presented. A class of timed Petri nets named programmable timed Petri nets (PTPN)...

Indonesia is the country with largest oil palm plantation in world. One of companies that manages plantations PT Perkebunan Nusantara (PTPN) VIII Tambaksari afdeling sindangsari plantation, Subang. Before it became an land, most people planted pineapple crops. After existence plantations, many communities were helped by economy. However, some farmers' livelihoods have complained continue to nar...