For the most recent entries see the Petri Nets Newsletter.

Improving the calculus of the marking graph of Petri net with BDD like structure.

Molinaro, Pierre; Roux, David; Delfieu, Olivier

In: Proceedings of the second IEEE International Conference on Systems, Man and Cybernetics (SMC'02), October 6-9, 2002, Hammamet, Tunisia, Volume 1. IEEE Computer Society Press, October 2002.

Abstract: The goal is to improve the calculus of the marking graph of a Petri Net. Vector Decision Diagrams are a new type of structure based on Binary Decision Diagrams allowing to represent more efficiently sets of vectors. Moreover, a new set of operators has been defined to get advantage of this new structure.

Keywords: petri net; BDD; marking graph.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography