✦ LIBER ✦

Protocol syntheses in a Petri net model with registers and its application

✍ Scribed by Hirozumi Yamaguchi; Kozo Okano; Teruo Higashino; Kenichi Taniguchi

Publisher: John Wiley and Sons
Year: 1998
Tongue: English
Weight: 247 KB
Volume: 81
Category: Article
ISSN: 1042-0967
DOI: 10.1002/(sici)1520-6440(199808)81:8<18::aid-ecjc3>3.0.co;2-w

No coin nor oath required. For personal study only.

✦ Synopsis

Some methods for synthesizing a protocol specification from a given service specification have been proposed using various computational models. However, the existing methods cannot treat service specifications including both complex control flows and system variables. In this paper, we propose a method for synthesizing a protocol specification automatically from a pair consisting of a service specification and a resource allocation. In our method, service specifications are described in an extended model of Petri nets, which can treat system variables. We have developed a pair consisting of a synthesis system and an execution system, and applied them to CSCW (Computer Supported Cooperative Work).

📜 SIMILAR VOLUMES

A modified solution-diffusion model and

A modified solution-diffusion model and its application in the pervaporation separation of alkane/thiophenes mixtures with PDMS membrane

✍ Junqi Huang; Jiding Li; Xia Zhan; Cuixian Chen 📂 Article 📅 2008 🏛 John Wiley and Sons 🌐 English ⚖ 244 KB 👁 2 views

ChemInform Abstract: A Simple Protocol f

ChemInform Abstract: A Simple Protocol for the Synthesis of 2-Arylbenzoxazoles by Oxidation with o-Iodoxybenzoic Acid (IBX) and Its Application in the Synthesis of Arylbenzoxazole-Containing Amino Acids.

✍ Fei Chen; Chengjie Shen; Dan Yang 📂 Article 📅 2011 🏛 John Wiley and Sons ⚖ 27 KB 👁 1 views

## Abstract The method is successfully extended amino acids (V) with interesting fluorescent properties.

Heparin in the treatment of thrombosis.

Heparin in the treatment of thrombosis. An account of its chemistry, physiology, and application in medicine. By J. Erik. Jorpes, M.D., Reader in Biochemistry, The Caroline Institute, Stockholm, Sweden. With a foreword by J. R. Learmonth, C.B.E., Ch.M., F.R.C.S.E., Professor of Surgery, University of Edinburgh. Second Edition. 84 × 58 in. Pp. 260, with 23 illustrations. 1947. London : Oxford University Press. 18s. net

📂 Article 📅 1947 🏛 John Wiley and Sons 🌐 English ⚖ 147 KB 👁 2 views