Infinite behaviour of Petri nets (Q2265817): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(5 intermediate revisions by 4 users not shown) | |||
Property / author | |||
Property / author: Ruediger Valk / rank | |||
Property / author | |||
Property / author: Ruediger Valk / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/0304-3975(83)90115-9 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2082483369 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Adherences of languages / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Theories of automata on \(\omega\)-tapes: a simplified approach / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Theory of \(\omega\)-languages. I: Characterizations of \(\omega\)-context- free languages / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: \(\omega\)-computations on Turing machines / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4079524 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3883515 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4190159 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Parallel program schemata / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5799732 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Decision problems forω-automata / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4138628 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4082317 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Testing and generating infinite sequences by a finite automaton / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A calculus of communicating systems / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Computation sequence sets / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4143282 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3899534 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3893341 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3686047 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3933750 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 17:11, 14 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Infinite behaviour of Petri nets |
scientific article |
Statements
Infinite behaviour of Petri nets (English)
0 references
1983
0 references
The paper describes the behaviour of Petri nets (place/transition nets with transition labelling) by classes of \(\omega\)-languages (of infinite words) and gives a complete list of inclusion properties between the different classes of languages.
0 references
Petri net
0 references
fairness
0 references
omega language
0 references
inclusion properties
0 references
classes of languages
0 references
0 references