Directed Unfolding of Petri Nets (Q3599218): Difference between revisions

From MaRDI portal
RedirectionBot (talk | contribs)
Changed an 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 / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1007/978-3-540-89287-8_11 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W1546930884 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Model checking using net unfoldings / rank
 
Normal rank
Property / cites work
 
Property / cites work: Diagnosis of asynchronous discrete-event systems: a net unfolding approach / rank
 
Normal rank
Property / cites work
 
Property / cites work: An improvement of McMillan's unfolding algorithm / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2775861 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Planning as heuristic search / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2717791 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Using regression-match graphs to control search in planning / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the well-foundedness of adequate orders used for construction of complete unfolding prefixes / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4791845 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4268457 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4264234 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4536617 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4530808 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Canonical prefixes of Petri net unfoldings / rank
 
Normal rank
Property / cites work
 
Property / cites work: The computational complexity of propositional STRIPS planning / rank
 
Normal rank
Property / cites work
 
Property / cites work: Connections between cutting-pattern sequencing, VLSI design, and flexible machines / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2852020 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4251922 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4417949 / rank
 
Normal rank

Latest revision as of 00:24, 29 June 2024

scientific article
Language Label Description Also known as
English
Directed Unfolding of Petri Nets
scientific article

    Statements

    Identifiers