PIPE

PIPE - Platform Independent Petri Net Editor.

References in zbMATH (referenced in 2 articles )

Showing results 1 to 2 of 2.
Sorted by year (citations)

  1. Bride, Hadrien; Kouchnarenko, Olga; Peureux, Fabien: Reduction of workflow nets for generalised soundness verification (2017)
  2. Liu, Yang; Miao, Huai-Kou; Zeng, Hong-Wei; Ma, Yan; Liu, Pan: Nondeterministic probabilistic Petri net -- a new method to study qualitative and quantitative behaviors of system (2013)