Keyword: complexity reduction

• Ebert, C.:
  Experiences with colored predicate/transition nets for specifying and prototyping embedded systems. 1998.

• Chiola, Giovanni; Dutheillet, Claude; Franceschinis, Guiliana; Haddad, Serge:
  On Well-Formed Coloured Nets and their Symbolic Reachability Graph. 1990.

• Pinto de Sa, J.L.; Sucena Paiva, J.P.:
  Design and Verification of Concurrent Switching Sequences with Petri Nets. 1990.

• Colom, J.M.; Silva, M.:
  Convex Geometry and Semiflows in P/T Nets. A Comparative Study of Algorithms for Computation of Minimal P-Semiflows. 1989.

Back to the Petri Nets Bibliography