𝔖 Bobbio Scriptorium
✦   LIBER   ✦

HyperLMNtal: An Extension of a Hierarchical Graph Rewriting Model

✍ Scribed by Kazunori Ueda; Seiji Ogawa


Book ID
107690173
Publisher
Springer-Verlag
Year
2012
Tongue
English
Weight
554 KB
Volume
26
Category
Article
ISSN
0933-1875

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


Deriving a Graph Rewriting System from a
✍ Rom Langerak πŸ“‚ Article πŸ“… 1999 πŸ› Elsevier Science 🌐 English βš– 989 KB

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 presente