------------------------------------------
------ Ocarina Petri Nets Generator ------
------------------------------------------
 
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
~~~~~~~~~~~ Timed Petri Nets ~~~~~~~~~~~
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
net AADL_TO_TPN_GENERATED
tr clientProcess1_clientThread_Init_Dispatch [0,w[ clientProcess1_clientThread_Halted serverProcess1_serverThread_Halted -> clientProcess1_clientThread_Wait_For_Dispatch serverProcess1_serverThread_Wait_For_Dispatch 
pl clientProcess1_clientThread_Halted (1)
pl clientProcess1_clientThread_Wait_For_Dispatch (0)
tr clientProcess1_clientThread_Begin [0,w[ -> clientProcess1_clientThread_Work1 
tr clientProcess1_clientThread_End [0,w[ clientProcess1_clientThread_Work2 -> clientProcess1_clientThread_requestDataclientProcess1_clientThread__Store_Port clientProcess1_clientThread_Wait_For_Dispatch 
tr clientProcess1_clientThread_Preemp1 [0,w[ clientProcess1_clientThread_Work1 -> clientProcess1_clientThread_ContextSwitch 
tr clientProcess1_clientThread_Preemp2 [0,w[ clientProcess1_clientThread_ContextSwitch -> clientProcess1_clientThread_Work2 
pl clientProcess1_clientThread_Work1 (0)
pl clientProcess1_clientThread_Work2 (0)
pl clientProcess1_clientThread_ContextSwitch (0)
tr clientProcess1_clientThread_receiveDataclientProcess1_clientThread__Push_Port [0,w[ serverProcess1_serverThread_requestData_Bus -> clientProcess1_clientThread_receiveDataclientProcess1_clientThread__Store_Port 
tr clientProcess1_clientThread_receiveDataclientProcess1_clientThread__Pop_Port [0,w[ clientProcess1_clientThread_receiveDataclientProcess1_clientThread__Store_Port 
pl clientProcess1_clientThread_receiveDataclientProcess1_clientThread__Store_Port (0)
tr clientProcess1_clientThread_requestDataclientProcess1_clientThread__Pop_Port [0,w[ clientProcess1_clientThread_requestDataclientProcess1_clientThread__Store_Port -> clientProcess1_clientThread_requestData_Bus 
pl clientProcess1_clientThread_requestDataclientProcess1_clientThread__Store_Port (0)
pl serverProcess1_serverThread_Halted (1)
pl serverProcess1_serverThread_Wait_For_Dispatch (0)
tr serverProcess1_serverThread_Begin [0,w[ serverProcess1_serverThread_receiveDataserverProcess1_serverThread__Store_Port -> serverProcess1_serverThread_Work1 
tr serverProcess1_serverThread_End [0,w[ serverProcess1_serverThread_Work2 -> serverProcess1_serverThread_requestDataserverProcess1_serverThread__Store_Port serverProcess1_serverThread_Wait_For_Dispatch 
tr serverProcess1_serverThread_Preemp1 [0,w[ serverProcess1_serverThread_Work1 -> serverProcess1_serverThread_ContextSwitch 
tr serverProcess1_serverThread_Preemp2 [0,w[ serverProcess1_serverThread_ContextSwitch -> serverProcess1_serverThread_Work2 
pl serverProcess1_serverThread_Work1 (0)
pl serverProcess1_serverThread_Work2 (0)
pl serverProcess1_serverThread_ContextSwitch (0)
tr serverProcess1_serverThread_receiveDataserverProcess1_serverThread__Push_Port [0,w[ clientProcess1_clientThread_requestData_Bus -> serverProcess1_serverThread_receiveDataserverProcess1_serverThread__Store_Port 
pl serverProcess1_serverThread_receiveDataserverProcess1_serverThread__Store_Port (0)
tr serverProcess1_serverThread_requestDataserverProcess1_serverThread__Pop_Port [0,w[ serverProcess1_serverThread_requestDataserverProcess1_serverThread__Store_Port -> serverProcess1_serverThread_requestData_Bus 
pl serverProcess1_serverThread_requestDataserverProcess1_serverThread__Store_Port (0)
pl clientProcess1_clientThread_requestData_Bus (0)
pl serverProcess1_serverThread_requestData_Bus (0)
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
~~~~~~~~~~~ Colored Petri Nets ~~~~~~~~~~~
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
CN(3:net,1)
CM(11:declaration,1,1,1,5:Class)
CM(11:declaration,1,2,1,20:Threads_Ids is 0..2;)
CM(11:declaration,1,3,1,19:Msg_Types is [msg];)
CM(11:declaration,1,4,1,6:Domain)
CM(11:declaration,1,5,1,32:mess is <Threads_Ids,Msg_Types>;)
CM(11:declaration,1,6,1,3:Var)
CM(11:declaration,1,7,1,33: x, y, x267, x350 in Threads_Ids;)
CM(11:declaration,1,8,1,16: m in Msg_Types;)
CN(10:transition,403)
CT(4:name,403,41:clientProcess1_clientThread_Init_Dispatch)
CA(3:arc,408,395,403)
CT(9:valuation,408,6:<x267>)
CA(3:arc,958,640,403)
CT(9:valuation,958,6:<x350>)
CA(3:arc,413,403,399)
CT(9:valuation,413,6:<x267>)
CA(3:arc,963,403,644)
CT(9:valuation,963,6:<x350>)
CN(5:place,395)
CT(4:name,395,34:clientProcess1_clientThread_Halted)
CT(6:domain,395,11:Threads_Ids)
CT(7:marking,395,3:<1>)
CN(5:place,399)
CT(4:name,399,45:clientProcess1_clientThread_Wait_For_Dispatch)
CT(6:domain,399,11:Threads_Ids)
CN(10:transition,483)
CT(4:name,483,33:clientProcess1_clientThread_Begin)
CA(3:arc,515,483,503)
CT(9:valuation,515,3:<x>)
CN(10:transition,493)
CT(4:name,493,35:clientProcess1_clientThread_Preemp1)
CA(3:arc,520,503,493)
CT(9:valuation,520,3:<x>)
CA(3:arc,525,493,511)
CT(9:valuation,525,3:<x>)
CN(10:transition,498)
CT(4:name,498,35:clientProcess1_clientThread_Preemp2)
CA(3:arc,530,511,498)
CT(9:valuation,530,3:<x>)
CA(3:arc,535,498,507)
CT(9:valuation,535,3:<x>)
CN(5:place,503)
CT(4:name,503,33:clientProcess1_clientThread_Work1)
CT(6:domain,503,11:Threads_Ids)
CN(5:place,507)
CT(4:name,507,33:clientProcess1_clientThread_Work2)
CT(6:domain,507,11:Threads_Ids)
CN(5:place,511)
CT(4:name,511,41:clientProcess1_clientThread_ContextSwitch)
CT(6:domain,511,11:Threads_Ids)
CN(10:transition,556)
CT(4:name,556,76:clientProcess1_clientThread_receiveDataclientProcess1_clientThread_Push_Port)
CA(3:arc,612,575,556)
CT(9:valuation,612,1:1)
CA(3:arc,938,785,556)
CT(9:valuation,938,3:<x>)
CA(3:arc,579,556,571)
CT(9:valuation,579,7:<x,msg>)
CA(3:arc,943,556,644)
CT(9:valuation,943,3:<x>)
CN(10:transition,561)
CT(4:name,561,76:clientProcess1_clientThread_receiveDataclientProcess1_clientThread__Pop_Port)
CA(3:arc,586,571,561)
CT(9:valuation,586,5:<y,m>)
CA(3:arc,948,785,561)
CT(9:valuation,948,3:<x>)
CA(3:arc,607,561,575)
CT(9:valuation,607,1:1)
CA(3:arc,953,561,644)
CT(9:valuation,953,3:<x>)
CN(10:transition,566)
CT(4:name,566,83:clientProcess1_clientThread_receiveDataclientProcess1_clientThread__DropOldest_Port)
CA(3:arc,593,571,566)
CT(9:valuation,593,5:<y,m>)
CA(3:arc,600,566,571)
CT(9:valuation,600,7:<x,msg>)
CN(5:place,571)
CT(4:name,571,77:clientProcess1_clientThread_receiveDataclientProcess1_clientThread__Slot_Port)
CT(6:domain,571,4:mess)
CN(5:place,575)
CT(4:name,575,78:clientProcess1_clientThread_receiveDataclientProcess1_clientThread__Empty_Port)
CT(7:marking,575,1:1)
CN(5:place,640)
CT(4:name,640,34:serverProcess1_serverThread_Halted)
CT(6:domain,640,11:Threads_Ids)
CT(7:marking,640,3:<2>)
CN(5:place,644)
CT(4:name,644,45:serverProcess1_serverThread_Wait_For_Dispatch)
CT(6:domain,644,11:Threads_Ids)
CN(10:transition,761)
CT(4:name,761,33:serverProcess1_serverThread_Begin)
CA(3:arc,919,849,761)
CT(9:valuation,919,5:<y,m>)
CA(3:arc,793,761,781)
CT(9:valuation,793,3:<x>)
CA(3:arc,924,761,853)
CT(9:valuation,924,1:1)
CN(10:transition,771)
CT(4:name,771,35:serverProcess1_serverThread_Preemp1)
CA(3:arc,798,781,771)
CT(9:valuation,798,3:<x>)
CA(3:arc,803,771,789)
CT(9:valuation,803,3:<x>)
CN(10:transition,776)
CT(4:name,776,35:serverProcess1_serverThread_Preemp2)
CA(3:arc,808,789,776)
CT(9:valuation,808,3:<x>)
CA(3:arc,813,776,785)
CT(9:valuation,813,3:<x>)
CN(5:place,781)
CT(4:name,781,33:serverProcess1_serverThread_Work1)
CT(6:domain,781,11:Threads_Ids)
CN(5:place,785)
CT(4:name,785,33:serverProcess1_serverThread_Work2)
CT(6:domain,785,11:Threads_Ids)
CN(5:place,789)
CT(4:name,789,41:serverProcess1_serverThread_ContextSwitch)
CT(6:domain,789,11:Threads_Ids)
CN(10:transition,834)
CT(4:name,834,76:serverProcess1_serverThread_receiveDataserverProcess1_serverThread_Push_Port)
CA(3:arc,890,853,834)
CT(9:valuation,890,1:1)
CA(3:arc,968,507,834)
CT(9:valuation,968,3:<x>)
CA(3:arc,857,834,849)
CT(9:valuation,857,7:<x,msg>)
CA(3:arc,973,834,399)
CT(9:valuation,973,3:<x>)
CN(10:transition,844)
CT(4:name,844,83:serverProcess1_serverThread_receiveDataserverProcess1_serverThread__DropOldest_Port)
CA(3:arc,871,849,844)
CT(9:valuation,871,5:<y,m>)
CA(3:arc,978,507,844)
CT(9:valuation,978,3:<x>)
CA(3:arc,878,844,849)
CT(9:valuation,878,7:<x,msg>)
CA(3:arc,983,844,399)
CT(9:valuation,983,3:<x>)
CN(5:place,849)
CT(4:name,849,77:serverProcess1_serverThread_receiveDataserverProcess1_serverThread__Slot_Port)
CT(6:domain,849,4:mess)
CN(5:place,853)
CT(4:name,853,78:serverProcess1_serverThread_receiveDataserverProcess1_serverThread__Empty_Port)
CT(7:marking,853,1:1)