(************************************************************ * IMITATOR MODEL * * Model of a small acyclic asynchronous circuit * * Description : Model of a small acyclic asynchronous circuit * Correctness : Q must not rise * Source : "Preserving Partial Order Runs in Parametric Time Petri Nets" (ACSD 2015), Fig. 1 * Author : Etienne Andre, Thomas Chatain, Cesar Rodriguez * Modeling : Etienne Andre, Thomas Chatain, Cesar Rodriguez * Input by : Etienne Andre * * Created : 2015/01/29 * Last modified : 2015/07/30 * * IMITATOR version: 2.7.1 ************************************************************) (*------------------------------------------------------------ PARAMETER VALUATION ------------------------------------------------------------*) & dNot1_l = 6 & dNot1_u = 7 & dNot2_l = 1 & dNot2_u = 2 & dAnd_l = 1 & dAnd_u = 2