Back to Search Start Over

On Trace-Expressible Behaviour of Petri Nets.

Authors :
Jółowska, Joanna
Ochmański, Edward
Source :
Fundamenta Informaticae. 2008, Vol. 85 Issue 1-4, p281-295. 15p. 13 Diagrams.
Publication Year :
2008

Abstract

We propose a trace-based approach to description behaviours of concurrent systems. First, we define the independency relation induced by arbitrary transition system, forming this way an asynchronous transition system. Then we introduce the notion of traceability of transition systems and study some decision problems, related to computing independency and deciding traceability for basic classes of Petri nets. Main results: traceability is decidable for place/transition nets and undecidable in broader classes of nets – inhibitor, reset and transfer nets. [ABSTRACT FROM AUTHOR]

Details

Language :
English
ISSN :
01692968
Volume :
85
Issue :
1-4
Database :
Academic Search Index
Journal :
Fundamenta Informaticae
Publication Type :
Academic Journal
Accession number :
36611795
Full Text :
https://doi.org/10.3233/fun-2008-851-420