The Library
Dynamic modification of system structures using LLPNs
Tools
UNSPECIFIED (2003) Dynamic modification of system structures using LLPNs. In: 5th International Andrei Ershov Memorial Conference on Perspectives of System Informatics, Akademogordok, RUSSIA, JUL 09-12, 2003. Published in: PERSPECTIVES OF SYSTEM INFORMATICS, 2890 pp. 274-293. ISBN 3-540-20813-5. ISSN 0302-9743.
Research output not available from this repository.
Request-a-Copy directly from author or use local Library Get it For Me service.
Abstract
In this paper we aim to set up a framework for object Petri net semantics, allowing the modification of object net structures at runtime. The approach uses linear logic Petri nets (LLPNs) and performs the structure modification on a linear logic encoding of the object net. In addition, Valk's self-modifying Petri nets are shown to be subsumed by LLPNs.
We expand on the existing theory of Farwer's LLPNs, which are Petri nets with linear logic formulae as tokens. This work in progress uses intuitionistic linear logic as the basis of a method for ensuring desirable properties - such as termination or non-termination - of P/T nets, coloured Petri nets and LLPNs.
Item Type: | Conference Item (UNSPECIFIED) | ||||
---|---|---|---|---|---|
Subjects: | Q Science > QA Mathematics > QA76 Electronic computers. Computer science. Computer software | ||||
Series Name: | LECTURE NOTES IN COMPUTER SCIENCE | ||||
Journal or Publication Title: | PERSPECTIVES OF SYSTEM INFORMATICS | ||||
Publisher: | SPRINGER-VERLAG BERLIN | ||||
ISBN: | 3-540-20813-5 | ||||
ISSN: | 0302-9743 | ||||
Editor: | Broy, M and Zamulin, AV | ||||
Official Date: | 2003 | ||||
Dates: |
|
||||
Volume: | 2890 | ||||
Number of Pages: | 20 | ||||
Page Range: | pp. 274-293 | ||||
Publication Status: | Published | ||||
Title of Event: | 5th International Andrei Ershov Memorial Conference on Perspectives of System Informatics | ||||
Location of Event: | Akademogordok, RUSSIA | ||||
Date(s) of Event: | JUL 09-12, 2003 |
Data sourced from Thomson Reuters' Web of Knowledge
Request changes or add full text files to a record
Repository staff actions (login required)
View Item |