A note on decidability of reachability for conditional Petri nets

QR kód

A note on decidability of reachability for conditional Petri nets

The aim of this note is to prove that the reachability problem for Petri nets controlled by finite automata, in the sense of [5], is decidable.

Elmentve itt :

Bibliográfiai részletek
Szerzők:	Țiplea Ferucio Laurenţiu Bădărău Cristina
Dokumentumtípus:	Cikk
Megjelent:	2000
Sorozat:	Acta cybernetica 14 No. 3
Kulcsszavak:	Számítástechnika, Kibernetika
Tárgyszavak:	Természettudományok Számítás- és információtudomány
Online Access:	http://acta.bibl.u-szeged.hu/12637

Hasonló tételek

On a normal form of Petri nets
Szerző: Țiplea Ferucio Laurenţiu, et al.
Megjelent: (1996)

Use of Petri nets for performance evaluation
Szerző: Sifakis J.
Megjelent: (1979)

Optimal trajectory generation for Petri nets
Szerző: Gyapay Szilvia, et al.
Megjelent: (2005)

Limited codes associated with Petri nets
Szerző: Tanaka Genjiro
Megjelent: (2009)

Extensions to the CEGAR approach on Petri nets
Szerző: Hajdu Ákos, et al.
Megjelent: (2014)

Experiences in modelling feature interactions with Coloured Petri Nets
Szerző: Lorentsen Louise, et al.
Megjelent: (2002)

Decidability results concerning tree transducers I
Szerző: Ésik Zoltán
Megjelent: (1980)

Special families of matrix languages and decidable problems
Szerző: Mateescu Alexandru
Megjelent: (1991)

Operation research methods in Petri net-based analysis of IT system [abstract] /
Szerző: Gyapay Szilvia
Megjelent: (2002)

Petri net controlled grammars with a bounded number of additional places
Szerző: Dassow Jürgen, et al.
Megjelent: (2010)

A pumping lemma and decidability problems for recognizable tree series
Szerző: Borchardt Björn
Megjelent: (2004)

Decidability Boundaries for the Finite-Image Property of Weighted Finite Automata
Szerző: Droste Manfred, et al.
Megjelent: (2023)

Decidability questions for term rewriting systems and tree transducers
Szerző: Gyenizse Pál
Megjelent: (1999)

The home marking problem and some related concepts
Szerző: Melinte Roxana, et al.
Megjelent: (2002)

Decidability in algebra
Szerző: Maróti Miklós
Megjelent: (2006)

Crisp-Determinization of Weighted Tree Automata over Additively Locally Finite and Past-Finite Monotonic Strong Bimonoids Is Decidable
Szerző: Droste Manfred, et al.
Megjelent: (2020)

A note on deadlocks
Szerző: Laborczi Zoltán
Megjelent: (1979)

Semantic web services in .NET aspect [abstract] /
Szerző: Farkas Péter, et al.
Megjelent: (2004)

A note on zero-congruences
Szerző: Bloom Stephen L., et al.
Megjelent: (1987)

A note on the star-product
Szerző: Imreh Balázs, et al.
Megjelent: (1999)

Uniform computation of complexity metrics in the .NET platform [abstract] /
Szerző: Sillye Ádám, et al.
Megjelent: (2004)

Note on the work function algorithm
Szerző: Csaba Béla
Megjelent: (2000)

A note on data base integrity
Szerző: Benczúr András, et al.
Megjelent: (1977)

A note on symmetric Boolean functions
Szerző: Ecsedi-Tóth Péter, et al.
Megjelent: (1977)

A note on axiomatizing flowchart schemes
Szerző: Căzănescu Virgil Emil, et al.
Megjelent: (1990)

A note on the axiomatization of iteration theories
Szerző: Ésik Zoltán
Megjelent: (1990)

A note on fully initial grammars
Szerző: Vicolov Sorina
Megjelent: (1991)

A note on intersections of isotone clones
Szerző: Demetrovics János, et al.
Megjelent: (1992)

Models for predicting the performance of ASP.NET web applications [abstract] /
Szerző: Bogárdi-Mészöly Ágnes, et al.
Megjelent: (2006)

Note on the cardinality of some sets of clones
Szerző: Pantović Jovanka, et al.
Megjelent: (2000)

ImageNet pretraining for medical image segmentation enhancing efficiency via transferability metrics : [abstract] /
Szerző: Hidy Gábor, et al.
Megjelent: (2024)

A note on optimal performance of page storage
Szerző: Arató Mátyás
Megjelent: (1976)

A note on the interconnection structure of cellular networks
Szerző: Defeé I. H.
Megjelent: (1982)

A note on the generalized v1-product
Szerző: Imreh Balázs
Megjelent: (1988)

Methods for retrieving and investigating performance factors in ASP.NET web applications [abstract] /
Szerző: Bogárdi-Mészöly Ágnes, et al.
Megjelent: (2006)

A note on α*0 -products of aperiodic automata
Szerző: Ésik Zoltán, et al.
Megjelent: (1987)

A note on regular strongly shuffle-closed languages
Szerző: Imreh Balázs, et al.
Megjelent: (1994)

On semi-conditional grammars with productions having either forbidding or permitting conditions
Szerző: Meduna Alexander, et al.
Megjelent: (1994)

Reduction of simple semi-conditional grammars with respect to the number of conditional productions
Szerző: Meduna Alexander, et al.
Megjelent: (2002)

Novel U-net based deep neural networks for transmission tomography
Szerző: Olasz Csaba, et al.
Megjelent: (2022)