Directed Unfolding of Petri Nets (Q3599218)

From MaRDI portal

Jump to:navigation, search

scientific article

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

Statements

scholarly article

0 references

Directed Unfolding of Petri Nets (English)

0 references

0 references

Sarah L. Hickmott

0 references

0 references

Sylvie Thiébaux

0 references

Transactions on Petri Nets and Other Models of Concurrency I

0 references

publication date

3 February 2009

0 references

MaRDI profile type

MaRDI publication profile

0 references

full work available at URL

https://doi.org/10.1007/978-3-540-89287-8_11

0 references

Model checking using net unfoldings

0 references

Diagnosis of asynchronous discrete-event systems: a net unfolding approach

0 references

An improvement of McMillan's unfolding algorithm

0 references

0 references

Planning as heuristic search

0 references

0 references

Using regression-match graphs to control search in planning

0 references

On the well-foundedness of adequate orders used for construction of complete unfolding prefixes

0 references

0 references

0 references

0 references

0 references

0 references

Canonical prefixes of Petri net unfoldings

0 references

The computational complexity of propositional STRIPS planning

0 references

Connections between cutting-pattern sequencing, VLSI design, and flexible machines

0 references

0 references

0 references

0 references

Identifiers

zbMATH Open document ID

0 references

10.1007/978-3-540-89287-8_11

0 references

Mathematics Subject Classification ID

0 references

zbMATH DE Number

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:3599218

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3599218&oldid=35091635"