<?xml version="1.0" encoding="utf-8"?>
<project xmlns="http://www.plcopen.org/xml/tc6_0200">
  <fileHeader companyName="Anonymous" productName="Benchmark Suite" productVersion="1.0" creationDateTime="2026-09-02T00:00:00" />
  <contentHeader name="g_vessel_empty_permissive_bomb"><coordinateInfo><fbd><scaling x="1" y="1" /></fbd><ld><scaling x="1" y="1" /></ld><sfc><scaling x="1" y="1" /></sfc></coordinateInfo></contentHeader>
  <types><dataTypes /><pous><pou name="g_vessel_empty_permissive_bomb" pouType="program">
    <interface><inputVars><variable name="feed_cmd"><type><BOOL /></type></variable><variable name="discharge_cmd"><type><BOOL /></type></variable><variable name="vessel_empty"><type><BOOL /></type></variable><variable name="maint"><type><BOOL /></type></variable></inputVars><outputVars><variable name="feed_valve"><type><BOOL /></type></variable><variable name="discharge_valve"><type><BOOL /></type></variable></outputVars></interface>
    <body><LD>
      <leftPowerRail localId="0"><position x="0" y="0" /><connectionPointOut formalParameter="none" /></leftPowerRail>
      <contact localId="3" negated="true" storage="none" edge="none"><position x="20" y="10" /><connectionPointIn><connection refLocalId="0" /></connectionPointIn><connectionPointOut /><variable>discharge_cmd</variable></contact><contact localId="4" negated="false" storage="none" edge="none"><position x="40" y="10" /><connectionPointIn><connection refLocalId="3" /></connectionPointIn><connectionPointOut /><variable>vessel_empty</variable></contact><contact localId="5" negated="false" storage="none" edge="none"><position x="60" y="10" /><connectionPointIn><connection refLocalId="4" /></connectionPointIn><connectionPointOut /><variable>feed_cmd</variable></contact><contact localId="10" negated="false" storage="none" edge="none"><position x="20" y="20" /><connectionPointIn><connection refLocalId="0" /></connectionPointIn><connectionPointOut /><variable>feed_cmd</variable></contact><contact localId="11" negated="false" storage="none" edge="none"><position x="40" y="20" /><connectionPointIn><connection refLocalId="10" /></connectionPointIn><connectionPointOut /><variable>maint</variable></contact><coil localId="6" negated="false" storage="none"><position x="80" y="10" /><connectionPointIn><connection refLocalId="5" /><connection refLocalId="11" /></connectionPointIn><connectionPointOut /><variable>feed_valve</variable></coil><contact localId="7" negated="false" storage="none" edge="none"><position x="20" y="40" /><connectionPointIn><connection refLocalId="0" /></connectionPointIn><connectionPointOut /><variable>discharge_cmd</variable></contact><contact localId="8" negated="true" storage="none" edge="none"><position x="40" y="40" /><connectionPointIn><connection refLocalId="7" /></connectionPointIn><connectionPointOut /><variable>vessel_empty</variable></contact><coil localId="9" negated="false" storage="none"><position x="60" y="40" /><connectionPointIn><connection refLocalId="8" /></connectionPointIn><connectionPointOut /><variable>discharge_valve</variable></coil>
      <rightPowerRail localId="2147483646"><position x="400" y="0" /><connectionPointIn /></rightPowerRail>
    </LD></body>
  </pou></pous></types>
  <instances><configurations><configuration name="Config0"><resource name="Res0"><task name="tcyclic" interval="T#10ms" priority="0"><pouInstance name="inst0" typeName="g_vessel_empty_permissive_bomb" /></task></resource></configuration></configurations></instances>
</project>
