For the most recent entries see the
Petri Nets Newsletter
Keyword: rule-based refinements
Rule-based refinement of Petri nets for modeling train control systems.
Rule-based refinement of high-level nets preserving safety properties.
Do you need a refined search? Try our
which allows complex field-based queries.
Back to the Petri Nets Bibliography