def __init__(self, label='TrafficLight'):
QNet.__init__(self, label=label)
self.TR1 = self.createTransition('To-Red-1')
self.TG1 = self.createTransition('To-Green-1')
self.PG1 = self.createPlace('Green-1', init_tokens=1)
self.PR1 = self.createPlace('Red-1')
self.TR2 = self.createTransition('To-Red-2')
self.TG2 = self.createTransition('To-Green-2')
self.PG2 = self.createPlace('Green-2')
self.PR2 = self.createPlace('Red-2', init_tokens=1)
self.QUEUE = self.createPlace('Queue')
self.connect(self.PG1, self.TR1, weight=1)
self.connect(self.TG1, self.PG1, weight=1)
self.connect(self.TR1, self.PR1, weight=1)
self.connect(self.PR1, self.TG1, weight=1)
self.connect(self.PG2, self.TR2, weight=1)
self.connect(self.TR2, self.PR2, weight=1)
self.connect(self.PR2, self.TG2, weight=1)
self.connect(self.TG2, self.PG2, weight=1)
self.connect(self.TR1, self.QUEUE, weight=1)
self.connect(self.QUEUE, self.TG1, weight=1)
self.connect(self.QUEUE, self.TG2, weight=1)
self.connect(self.TR2, self.QUEUE, weight=1)
def __init__(self):
QNet.__init__(self, label='SplitJoin')
self.P0 = self.createPlace('P0', init_tokens=1)
self.T1 = self.createTransition('T1')
self.P1 = self.createPlace('P1')
self.T2 = self.createTransition('T2')
self.P2 = self.createPlace('P2')
self.P4 = self.createPlace('P4')
self.T3 = self.createTransition('T3')
self.P5 = self.createPlace('P5')
self.T0 = self.createTransition('T0')
self.P3 = self.createPlace('P3')
self.connect(self.P0, self.T1, 1)
self.connect(self.T1, self.P1, 1)
self.connect(self.T1, self.P4, 1)
self.connect(self.P1, self.T2, 1)
self.connect(self.T2, self.P2, 1)
self.connect(self.P4, self.T3, 1)
self.connect(self.T3, self.P5, 1)
self.connect(self.P2, self.T0, 1)
self.connect(self.P5, self.T0, 1)
self.connect(self.T0, self.P3, 1)
def __init__(self, name, interval_ms):
QNet.__init__(self, name)
self._interval_ms = interval_ms
self.T0 = self.createTransition(label='T_IN')
P1 = self.createPlace(target_task=self.__idle__, max_tokens_allowed=1)
self.T1 = self.createTransition('T_OUT')
self.connect(self.T0, P1, 1)
self.connect(P1, self.T1, 1)
def __init__(self, label='Consumer'):
QNet.__init__(self, label=label)
self.P3 = self.createPlace('P3')
self.P4 = self.createPlace('P4', init_tokens=1)
self.T2 = self.createTransition('T2')
self.T3 = self.createTransition('T3')
self.connect(self.T2, self.P3, weight=1)
self.connect(self.P3, self.T3, weight=1)
self.connect(self.T3, self.P4, weight=1)
self.connect(self.P4, self.T2, weight=1)
def __init__(self):
QNet.__init__(self, 'Net')
self.producer = Producer('Producer')
self.buf = Buffer('Buffer')
self.consumer = Consumer('Consumer')
self.addNet(self.producer)
self.addNet(self.buf)
self.addNet(self.consumer)
self.connect(self.producer.T1, self.buf.P2, weight=1)
self.connect(self.buf.P2, self.consumer.T2, weight=1)
def __init__(self, label='Producer'):
QNet.__init__(self, label=label)
self.T0 = self.createTransition('T0')
self.P0 = self.createPlace('P0', init_tokens=1)
self.T1 = self.createTransition('T1')
self.P1 = self.createPlace('P1')
self.connect(self.T0, self.P0, weight=1)
self.connect(self.P0, self.T1, weight=1)
self.connect(self.T1, self.P1, weight=1)
self.connect(self.P1, self.T0, weight=1)
def __init__(self):
QNet.__init__(self, label='Producer', address=("localhost", 8000))
self.T0 = self.createTransition('T0')
self.P0 = self.createPlace('P0', init_tokens=1)
self.T1 = self.createTransition('T1')
self.P1 = self.createPlace('P1')
self.connect(self.T0, self.P0, weight=1)
self.connect(self.P0, self.T1, weight=1)
self.connect(self.T1, self.P1, weight=1)
self.connect(self.P1, self.T0, weight=1)
def __init__(self):
QNet.__init__(self, label='ProdCons')
self.producer = QNetRemote(('localhost', 8000))
self.consumer = Consumer()
self.buf = Buffer()
self.addNet(self.producer)
self.addNet(self.buf)
self.addNet(self.consumer)
self.connect('T1.Producer', 'P2.Buffer', weight=1)
self.connect('P2.Buffer', 'T2.Consumer', weight=1)
import threading
import logging
TASK_PERIOD_MS = 1000.0
TASK_DURATION_MS = 100.0
def onset():
logging.info("Task ONSET")
def offset():
logging.info("Task OFFSET")
qnet = QNet('QTimed', logging_level=logging.INFO)
X0 = qnet.createPlace('X0', init_tokens=5)
X1 = qnet.createPlace('X1', init_tokens=0, target_task=onset)
X2 = qnet.createPlace('X2', init_tokens=0)
X3 = qnet.createPlace('X3', init_tokens=0, target_task=offset)
t_onset = QTimed('onset', TASK_PERIOD_MS)
t_offset = QTimed('offset', TASK_DURATION_MS)
qnet.addNet(t_onset)
qnet.addNet(t_offset)
qnet.connect(X0, t_onset.T_IN, 1)
qnet.connect(t_onset.T_OUT, X1, 1)
qnet.connect(t_onset.T_OUT, X2, 1)
qnet.connect(X2, t_offset.T_IN, 1)
qnet.connect(t_offset.T_OUT, X3, 1)
def __init__(self, label='Buffer'):
QNet.__init__(self, label=label)
self.P2 = self.createPlace('P2')
AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE
FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY,
OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
"""
from quantica.core import QNet
from quantica.models import QTimed
import time
import threading
import logging
def snap():
print("%s Here I am" % str(time.perf_counter()))
qnet = QNet(label='QTimedEx', logging_level=logging.INFO)
t = QTimed('t1sec', 1000)
qnet.addNet(t)
X = qnet.createPlace(label='X', init_tokens=5)
Y = qnet.createPlace(label='Y', target_task=snap)
qnet.connect(X, t.T_IN, 1)
qnet.connect(t.T_OUT, Y, 1)
qnet.start_async()