For the most recent entries see the
Petri Nets Newsletter
Keyword: concurrent programs
Translating concurrent programs into speed-independent circuits through Petri net transformations.
Branch Testing of Concurrent Programs Using Petri Net Models.
Do you need a refined search? Try our
which allows complex field-based queries.
Back to the Petri Nets Bibliography