Back to Search
Start Over
The Reachability Problem for Object Nets.
- Source :
-
Fundamenta Informaticae . 2007, Vol. 79 Issue 3-4, p401-413. 13p. 5 Diagrams. - Publication Year :
- 2007
-
Abstract
- In this article I will prove undecidability results for elementary object net systems (EOS). Object nets are Petri nets which have Petri nets as tokens – an approach which is called the "netswithin-nets" paradigm. EOS are special object net systems which have a two leveled structure. [ABSTRACT FROM AUTHOR]
- Subjects :
- *GRAPH theory
*PETRI nets
*NETS (Mathematics)
*FUZZY Petri nets
*ALGEBRA
Subjects
Details
- Language :
- English
- ISSN :
- 01692968
- Volume :
- 79
- Issue :
- 3-4
- Database :
- Academic Search Index
- Journal :
- Fundamenta Informaticae
- Publication Type :
- Academic Journal
- Accession number :
- 26554487