For the most recent entries see the
Petri Nets Newsletter.
Keyword: partial order
-
Alexander, Adrianna:
Composition of Temporal Logic Specifications.
2004.
-
Couvreur, Jean-Michel;
Poitrenaud, Denis:
Detection of Illegal Behaviors Based on Unfoldings.
1999.
-
Hélary, Jean-Michel;
Mostéfaoui, Achour;
Raynal, Michel:
Virtual Precedence in Asynchronous Systems: concept and Applications.
1997.
-
Vernadat, François;
Michel, François:
Covering Step Graph Preserving Failure Semantics.
1997.
-
van Oosten, Jaap:
Topological Aspects of Traces.
1996.
-
Vernadat, François;
Azéma, Pierre;
Michel, François:
Covering Step Graph.
1996.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography