We describe in this paper a general method for automatic code generation from Coloured Petri Nets (CP-nets or CPN). The method is supported by the Design/CPN tool which has been extended during the past few years, such that it also can be used to generate code automatically from a CPN model. We do not describe the algorithms for code generation but rather the context such a tool is used in. The...

The genetic code is the triplet code based on the three-letter codons, which determines the specific amino acid sequences in proteins synthesis. Choosing an appropriate model for processing these codons is a useful method to study genetic processes in Molecular Biology. As an effective modeling tool of discrete event dynamic systems (DEDS), colored petri net (CPN) has been used for modeling sev...

This paper presents a methodology to automatically generate motion commands for the slave robot in the framework of a discrete-event-based teleprogramming system. The teleprogramming system basically requires the geometric model of the work-piece and the constraint environment, and additionally the CPN (Controlled Petri Net) model of the contact state transitions. In order to simplify the model...

The potential role of Chlamydia pneumoniae (Cpn) in atherosclerosis has attracted considerable attention. On the basis of early encouraging results, it was anticipated that infection with Cpn might prove a novel treatable risk factor for atherosclerosis, with a relevance comparable to that of Helicobacter pylori in peptic ulcer disease. The effect of antibiotic treatment on clinical outcome bec...

Ceruloplasmin (CPN) concentrations were measured by p-phenylenediamine oxidase assay in serums from (a) 30 control Fischer rats; (b) 5 rats with primary sarcomas induced by i.m. injection of nickel subsulfide (alpha Ni3S2), and (c) 12 rats at intervals up to six weeks after s.c. transplantation of four alpha Ni3S2-induced sarcomas. Serum CPN concentrations were not significantly increased in ra...

Inhibitory feedback from sensory pathways is important for controlling movement. Here, we characterize, for the first time, a long-latency, inhibitory spinal pathway to ankle flexors that is activated by low-threshold homonymous afferents. To examine this inhibitory pathway in uninjured, healthy participants, we suppressed motor-evoked potentials (MEPs), produced in the tibialis anterior (TA), ...

Embedded systems development creates a need of new design, verification and validation technics. Formal methods appear as a very interesting approach for embedded systems analysis, especially for dependability studies. The chosen formalism for this work is based on Colored Petri Net (CPN)for two main reasons : the expressivity and the formal nature. Also, they model easily the static and the dy...

PURPOSE To determine the prevalence of antibodies to Chlamydia pneumoniae, C. trachomatis, and C. pneumoniae heat shock protein (Cpn Hsp60) in patients with acute anterior uveitis (AAU) and in sex- and age-matched healthy control subjects. METHODS Altogether 64 patients with previous AAU were examined at the Helsinki University Eye Hospital from September through December 1999. Serum specimen...

A rectangular communication grid model was constructed in the form of a colored Petri net as a composition of submodes of terminal devices producing and consuming packets and communication devices switching packets for their delivery among terminal devices. The model was supplied with traffic guns simulating ill-intentioned traffic. Via simulation in CPN Tools it was shown that a traffic duel o...

Despite the abundance of workflow analysis techniques from control-flow perspective, there is hardly any method for workflow verification from data processing perspective. In this paper, we restrict the WFCP-net, a Colored Petri Net with WF-net structure, to formally describe the key business entities in a data-centric workflow model. Then, we use ASK-CTL logic to describe the workflow requirem...