For the most recent entries see the
Petri Nets Newsletter
Synthesis of distributed testers from true-concurrency models of reactive systems.
Scenario-Based Hypersequential Programming.
A Petri Net Based Methodology to Integrate Qualitative and Quantitative Analysis.
Petri Nets and their Relation to Design Validation and Testing.
Do you need a refined search? Try our
which allows complex field-based queries.
Back to the Petri Nets Bibliography