The Library
What makes petri nets harder to verify : stack or data?, Concurrency, security, and puzzles : Festschrift for A.W. Roscoe on the occasion of his 60th birthday
Tools
Lazic, Ranko and Totzke, Patrick (2017) What makes petri nets harder to verify : stack or data?, Concurrency, security, and puzzles : Festschrift for A.W. Roscoe on the occasion of his 60th birthday. In: Concurrency, Security, and Puzzles : Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday. Lecture Notes in Computer Science, 10160 . Springer, pp. 144-161. ISBN 9783319510453
|
PDF
WRAP-what-makes-petri-nets-harder-verify-Lazic-2016.pdf - Accepted Version - Requires a PDF viewer. Download (753Kb) | Preview |
Official URL: http://dx.doi.org/10.1007/978-3-319-51046-0_8
Abstract
We show how the yardstick construction of Stockmeyer, also developed as counter bootstrapping by Lipton, can be adapted and extended to obtain new lower bounds for the coverability problem for two prominent classes of systems based on Petri nets: Ackermann-hardness for unordered data Petri nets, and Tower-hardness for pushdown vector addition systems.
Item Type: | Book Item | ||||||||
---|---|---|---|---|---|---|---|---|---|
Subjects: | Q Science > QA Mathematics > QA76 Electronic computers. Computer science. Computer software | ||||||||
Divisions: | Faculty of Science, Engineering and Medicine > Science > Computer Science | ||||||||
Library of Congress Subject Headings (LCSH): | Petri nets | ||||||||
Series Name: | Lecture Notes in Computer Science | ||||||||
Publisher: | Springer | ||||||||
ISBN: | 9783319510453 | ||||||||
ISSN: | 0302-9743 | ||||||||
Book Title: | Concurrency, Security, and Puzzles : Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday | ||||||||
Official Date: | January 2017 | ||||||||
Dates: |
|
||||||||
Volume: | 10160 | ||||||||
Page Range: | pp. 144-161 | ||||||||
Status: | Peer Reviewed | ||||||||
Publication Status: | Published | ||||||||
Access rights to Published version: | Restricted or Subscription Access | ||||||||
Date of first compliant deposit: | 10 November 2016 | ||||||||
Date of first compliant Open Access: | 23 May 2017 | ||||||||
Funder: | Engineering and Physical Sciences Research Council (EPSRC), Royal Society (Great Britain) | ||||||||
Grant number: | EP/M011801/1, EP/M027651/1 (EPSRC), IE150122 (Royal Society (Great Britain)) | ||||||||
Is Part Of: | Supported by the EPSRC, grants EP/M011801/1 and EP/M027651/1, and by the |
Request changes or add full text files to a record
Repository staff actions (login required)
View Item |
Downloads
Downloads per month over past year