Back to Search
Start Over
On Trace-Expressible Behaviour of Petri Nets.
- 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