For the most recent entries see the
Petri Nets Newsletter
Keyword: complexity reduction
Experiences with colored predicate/transition nets for specifying and prototyping embedded systems.
On Well-Formed Coloured Nets and their Symbolic Reachability Graph.
Pinto de Sa, J.L.
Sucena Paiva, J.P.
Design and Verification of Concurrent Switching Sequences with Petri Nets.
Convex Geometry and Semiflows in P/T Nets. A Comparative Study of Algorithms for Computation of Minimal P-Semiflows.
Do you need a refined search? Try our
which allows complex field-based queries.
Back to the Petri Nets Bibliography