A. Finkel;A. Choquet
Univ. de Paris sud, Paris, France;Univ. de Paris sud, Paris, France
A subclass of Petri Nets as design abstraction for parallel architectures
ACM SIGARCH Computer Architecture News
Rewriting Logic as a Unifying Framework for Petri Nets
Unifying Petri Nets, Advances in Petri Nets