For the most recent entries see the
Petri Nets Newsletter
Keyword: failure semantics
Covering Step Graph Preserving Failure Semantics.
Failure Semantics Based on Interval Semiwords is a Congruence for Refinement.
Failure Semantics of Petri Nets and the Refinement of Places and Transitions.
Do you need a refined search? Try our
which allows complex field-based queries.
Back to the Petri Nets Bibliography