The Library
Some considerations on higher-order Petri nets
Tools
UNSPECIFIED (2003) Some considerations on higher-order Petri nets. In: Workshop on the Concurrency Specification and programming (CS&P), BERLIN, GERMANY, OCT 07-09, 2002. Published in: FUNDAMENTA INFORMATICAE, 54 (2-3). pp. 185-193. ISSN 0169-2968.
Research output not available from this repository.
Request-a-Copy directly from author or use local Library Get it For Me service.
Abstract
This paper. introduces higher-order Petri nets based on multiset rewriting. Some variations of the firing rule for high-level Petri nets following the nets-within-nets paradigm, i.e. allowing Petri nets as tokens, are discussed. All considerations keep in mind the possibile existence of a universal higher-order Petri net.
Item Type: | Conference Item (UNSPECIFIED) | ||||
---|---|---|---|---|---|
Subjects: | Q Science > QA Mathematics > QA76 Electronic computers. Computer science. Computer software Q Science > QA Mathematics |
||||
Journal or Publication Title: | FUNDAMENTA INFORMATICAE | ||||
Publisher: | IOS PRESS | ||||
ISSN: | 0169-2968 | ||||
Official Date: | February 2003 | ||||
Dates: |
|
||||
Volume: | 54 | ||||
Number: | 2-3 | ||||
Number of Pages: | 9 | ||||
Page Range: | pp. 185-193 | ||||
Publication Status: | Published | ||||
Title of Event: | Workshop on the Concurrency Specification and programming (CS&P) | ||||
Location of Event: | BERLIN, GERMANY | ||||
Date(s) of Event: | OCT 07-09, 2002 |
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 |