ePrints

Deriving Histories of Nets with Priority Relation

Lookup NU author(s): Professor Maciej KoutnyORCiD

Downloads

Full text for this publication is not currently held within this repository. Alternative links are provided below where available.

Abstract

Relational structures representing causality and weak causality can be used to provide a lsquotruly concurrentrsquo semantics of Petri Nets with priorities. We show how to derive such structures by generalising the standard construction of causal partial orders based on occurrence nets.

Publication metadata

Author(s): Janicki R, Koutny M

Editor(s): Halatsis, C., Maritsas, D., Philokyprou, G., Theodoridis, S.

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: 6th International PARLE Conference on Parallel Architectures and Languages Europe (PARLE)

Year of Conference: 1994

Pages: 623-634

ISSN: 0302-9743 (Print) 1611-3349 (Online)

Publisher: Springer-Verlag

URL: http://dx.doi.org/10.1007/3-540-58184-7_136

DOI: 10.1007/3-540-58184-7_136

Notes: Supported by NSERC grant, No. OGP 0036539. Supported by Esprit Basic Research Working Group 6067 CALIBAN.

Library holdings: Search Newcastle University Library for this item

Series Title: Lecture Notes in Computer Science

ISBN: 9783540581840

Share