Analysis issues in Petri nets with inhibitor arcs (Q1606123): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(2 intermediate revisions by 2 users not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the expressiveness of Linda coordination primitives. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4948012 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Complexity results for 1-safe nets / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Free Choice Petri Nets / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Decidability of model checking for infinite-state concurrent systems / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Parallel program schemata / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Semantics of inhibitor nets / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: An Algorithm for the General Petri Net Reachability Problem / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A calculus of mobile processes. II / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5590814 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Contextual nets / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3911403 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Computability of Recursive Functions / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 12:16, 4 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Analysis issues in Petri nets with inhibitor arcs |
scientific article |
Statements
Analysis issues in Petri nets with inhibitor arcs (English)
0 references
31 July 2002
0 references
P/T systems with inhibitor arcs
0 references
model checking problem
0 references