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.

Hsiung, P.-A.; Gau, C.-H.

In: Proc. of the Workshop on Theory and Practice of Timed Systems (TPTS'2002, Grenoble, France), Electronic Notes in Theoretical Computer Science (ENTCS). April 2002.


Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography