ChatainPhD06

Thomas Chatain. Symbolic Unfoldings of High-Level Petri Nets and Application to Supervision of Distributed Systems. PhD Thesis Université de Rennes 1, 2006.

Keywords

[ Partial orders ] [ Unfolding ]

BibTex Reference

@PhdThesis{ChatainPhD06,
   Author = {Chatain, Thomas},
   Title = {Symbolic Unfoldings of High-Level Petri Nets and Application to Supervision    of Distributed Systems},
   School = {Université de Rennes 1},
   Year = {2006}
}

EndNote Reference [help]

Get EndNote Reference (.ref)