For the most recent entries see the
Petri Nets Newsletter.
Keyword: net decomposition
Application of Petri net based analysis techniques to signal transduction pathways.
Generating timed test cases by decomposition of time Petri nets model for testing real-time systems.
Reachability criterion for Petri nets with known firing vectors.
Decomposing timed Petri net models of open queueing networks.
Composition and decomposition of Petri nets and their coverability graphs (in Frech).
Net Theory and its Application. III. Fundamentals of Net Theory.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography