For the most recent entries see the
Petri Nets Newsletter.
Formal Synthesis of Real-Time Embedded Software by Time-Memory Scheduling of Colored Time Petri Nets.
Proc. of the Workshop on Theory and Practice of Timed Systems (TPTS'2002, Grenoble, France), Electronic Notes in Theoretical Computer Science (ENTCS).
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography