✦ LIBER ✦

Deriving a Graph Rewriting System from a Complete Finite Prefix of an Unfolding

✍ Scribed by Rom Langerak

Publisher: Elsevier Science
Year: 1999
Tongue: English
Weight: 989 KB
Volume: 27
Category: Article
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(05)80293-2

No coin nor oath required. For personal study only.

✦ Synopsis

The starting point of this paper is McMillan's complete nite pre x of an unfolding that has been obtained from a Petri net or a process algebra expression. The paper addresses the question of how to obtain the (possibly in nite) system behaviour from the complete nite pre x. An algorithm is presented to derive from the pre x a graph rewriting system that can be used to construct the unfolding. It is shown how to generate event sequences from the graph rewriting system which i s i m p o r t a n t for constructing an interactive simulator. Finally it is indicated how the graph rewriting system yields a transition system that can be used for model checking and test derivation.

📜 SIMILAR VOLUMES

Deriving the quark condensate within a f

Deriving the quark condensate within a finite Fermi system from the generating functional of chiral perturbation theory

✍ M. Kirchbach; A. Wirzba 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 543 KB

Example of an independent system of word

Example of an independent system of words which cannot be included in a finite complete system

✍ Al. A. Markov 📂 Article 📅 1967 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 177 KB

A peptide derived from an autoantibody c

A peptide derived from an autoantibody can stimulate t cells in the (nzb × nzw)f1 mouse model of systemic lupus erythematosus

✍ Fanny M. Ebling; Betty P. Tsao; Ram R. Singh; Eli Sercarz; Bevra H. Hahn 📂 Article 📅 1993 🏛 John Wiley and Sons 🌐 English ⚖ 978 KB

Transition from metallic to tunneling re

Transition from metallic to tunneling regimes in ballistic point contacts between an ordinary metal and a system described as a normal Fermi liquid. Derivation of current-voltage characteristic

✍ M. Kupka 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 384 KB

ChemInform Abstract: Facile and Efficien

ChemInform Abstract: Facile and Efficient Synthesis of Polyfunctionalized Benzofurans: Three-Component Coupling Reactions from an Alkynylsilane, an o-Hydroxybenzaldehyde Derivative, and a Secondary Amine by a Cu(I)—Cu(II) Cooperative Catalytic System.

✍ Norio Sakai; Naoki Uchida; Takeo Konakahara 📂 Article 📅 2008 🏛 John Wiley and Sons ⚖ 27 KB 👁 1 views

## Abstract ChemInform is a weekly Abstracting Service, delivering concise information at a glance that was extracted from about 200 leading journals. To access a ChemInform Abstract of an article which was published elsewhere, please select a “Full Text” option. The original article is trackable v

Mathematical description of the stimuli

Mathematical description of the stimuli to the lateral line system of fish, derived from a three-dimensional flow field analysis. III. The case of an oscillating sphere near the fish

✍ El-S. Hassan 📂 Article 📅 1993 🏛 Springer-Verlag 🌐 English ⚖ 1011 KB