OpenModelica master from 2017-05-12 10:59:42 to 2017-05-12 11:19:52

Summary

OMC Commits0
Libraries Changed0
Number of Improvements202
Number of Regressions0
Number of Performance Improvements0
Number of Performance Regressions0

OpenModelica Changes

CommitAuthorSummary

Library Changes

LibraryChange

Models Affected

Modelica_SynchronousModelica_Synchronous.Examples.CascadeControlledDrive.Continuous (sim)Simulate → Verify
Modelica_SynchronousModelica_Synchronous.Examples.Elementary.BooleanSignals.AssignClock (sim)Simulate → Verify
Modelica_SynchronousModelica_Synchronous.Examples.Elementary.BooleanSignals.AssignClockVectorized (sim)Simulate → Verify
Modelica_SynchronousModelica_Synchronous.Examples.Elementary.BooleanSignals.BackSample (sim)Simulate → Verify
Modelica_SynchronousModelica_Synchronous.Examples.Elementary.BooleanSignals.Sample1 (sim)Simulate → Verify
Modelica_SynchronousModelica_Synchronous.Examples.Elementary.BooleanSignals.Sample2 (sim)Simulate → Verify
Modelica_SynchronousModelica_Synchronous.Examples.Elementary.BooleanSignals.SampleClocked (sim)Simulate → Verify
Modelica_SynchronousModelica_Synchronous.Examples.Elementary.BooleanSignals.SampleVectorizedAndClocked (sim)Simulate → Verify
Modelica_SynchronousModelica_Synchronous.Examples.Elementary.BooleanSignals.ShiftSample (sim)Simulate → Verify
Modelica_SynchronousModelica_Synchronous.Examples.Elementary.BooleanSignals.SubSample (sim)Simulate → Verify
Modelica_SynchronousModelica_Synchronous.Examples.Elementary.BooleanSignals.SuperSample (sim)Simulate → Verify
Modelica_SynchronousModelica_Synchronous.Examples.Elementary.BooleanSignals.TickBasedPulse (sim)Simulate → Verify
Modelica_SynchronousModelica_Synchronous.Examples.Elementary.BooleanSignals.TickBasedStep (sim)Simulate → Verify
Modelica_SynchronousModelica_Synchronous.Examples.Elementary.BooleanSignals.TimeBasedStep (sim)Simulate → Verify
Modelica_SynchronousModelica_Synchronous.Examples.Elementary.BooleanSignals.UpSample (sim)Simulate → Verify
Modelica_SynchronousModelica_Synchronous.Examples.Elementary.ClockSignals.ShiftSample (sim)Simulate → Verify
Modelica_SynchronousModelica_Synchronous.Examples.Elementary.ClockSignals.SubSample (sim)Simulate → Verify
Modelica_SynchronousModelica_Synchronous.Examples.Elementary.ClockSignals.SuperSample (sim)Simulate → Verify
Modelica_SynchronousModelica_Synchronous.Examples.Elementary.IntegerSignals.AssignClock (sim)Simulate → Verify
Modelica_SynchronousModelica_Synchronous.Examples.Elementary.IntegerSignals.AssignClockVectorized (sim)Simulate → Verify
Modelica_SynchronousModelica_Synchronous.Examples.Elementary.IntegerSignals.BackSample (sim)Simulate → Verify
Modelica_SynchronousModelica_Synchronous.Examples.Elementary.IntegerSignals.Sample1 (sim)Simulate → Verify
Modelica_SynchronousModelica_Synchronous.Examples.Elementary.IntegerSignals.Sample2 (sim)Simulate → Verify
Modelica_SynchronousModelica_Synchronous.Examples.Elementary.IntegerSignals.SampleClocked (sim)Simulate → Verify
Modelica_SynchronousModelica_Synchronous.Examples.Elementary.IntegerSignals.SampleVectorizedAndClocked (sim)Simulate → Verify
Modelica_SynchronousModelica_Synchronous.Examples.Elementary.IntegerSignals.ShiftSample (sim)Simulate → Verify
Modelica_SynchronousModelica_Synchronous.Examples.Elementary.IntegerSignals.SubSample (sim)Simulate → Verify
Modelica_SynchronousModelica_Synchronous.Examples.Elementary.IntegerSignals.SuperSample (sim)Simulate → Verify
Modelica_SynchronousModelica_Synchronous.Examples.Elementary.IntegerSignals.TickBasedStep (sim)Simulate → Verify
Modelica_SynchronousModelica_Synchronous.Examples.Elementary.IntegerSignals.TimeBasedStep (sim)Simulate → Verify
Modelica_SynchronousModelica_Synchronous.Examples.Elementary.IntegerSignals.UpSample (sim)Simulate → Verify
Modelica_SynchronousModelica_Synchronous.Examples.Elementary.RealSignals.AssignClock (sim)Simulate → Verify
Modelica_SynchronousModelica_Synchronous.Examples.Elementary.RealSignals.AssignClockToSquareWaveHold (sim)Simulate → Verify
Modelica_SynchronousModelica_Synchronous.Examples.Elementary.RealSignals.AssignClockToTriggerHold (sim)Simulate → Verify
Modelica_SynchronousModelica_Synchronous.Examples.Elementary.RealSignals.AssignClockVectorized (sim)Simulate → Verify
Modelica_SynchronousModelica_Synchronous.Examples.Elementary.RealSignals.BackSample (sim)Simulate → Verify
Modelica_SynchronousModelica_Synchronous.Examples.Elementary.RealSignals.Sample1 (sim)Simulate → Verify
Modelica_SynchronousModelica_Synchronous.Examples.Elementary.RealSignals.Sample2 (sim)Simulate → Verify
Modelica_SynchronousModelica_Synchronous.Examples.Elementary.RealSignals.Sample3 (sim)Simulate → Verify
Modelica_SynchronousModelica_Synchronous.Examples.Elementary.RealSignals.SampleClocked (sim)Simulate → Verify
Modelica_SynchronousModelica_Synchronous.Examples.Elementary.RealSignals.SampleVectorizedAndClocked (sim)Simulate → Verify
Modelica_SynchronousModelica_Synchronous.Examples.Elementary.RealSignals.SampleWithADeffects (sim)Simulate → Verify
Modelica_SynchronousModelica_Synchronous.Examples.Elementary.RealSignals.ShiftSample (sim)Simulate → Verify
Modelica_SynchronousModelica_Synchronous.Examples.Elementary.RealSignals.SubSample (sim)Simulate → Verify
Modelica_SynchronousModelica_Synchronous.Examples.Elementary.RealSignals.SuperSample (sim)Simulate → Verify
Modelica_SynchronousModelica_Synchronous.Examples.Elementary.RealSignals.SuperSampleInterpolated (sim)Simulate → Verify
Modelica_SynchronousModelica_Synchronous.Examples.Elementary.RealSignals.UniformNoise (sim)Simulate → Verify
Modelica_SynchronousModelica_Synchronous.Examples.Elementary.RealSignals.UpSample1 (sim)Simulate → Verify
Modelica_SynchronousModelica_Synchronous.Examples.Elementary.RealSignals.UpSample2 (sim)Simulate → Verify
Modelica_SynchronousModelica_Synchronous.Examples.SimpleControlledDrive.ClockedWithDiscreteController (sim)Simulate → Verify
Modelica_SynchronousModelica_Synchronous.Examples.SimpleControlledDrive.ClockedWithDiscreteTextbookController (sim)Simulate → Verify
Modelica_SynchronousModelica_Synchronous.Examples.SimpleControlledDrive.ClockedWithDiscretizedContinuousController (sim)Simulate → Verify
Modelica_SynchronousModelica_Synchronous.Examples.SimpleControlledDrive.Continuous (sim)Simulate → Verify
Modelica_SynchronousModelica_Synchronous.Examples.Systems.ControlledMixingUnit (sim)Simulate → Verify
Modelica_SynchronousModelica_Synchronous.Examples.Systems.EngineThrottleControl (sim)Simulate → Verify
Modelica_SynchronousModelica_Synchronous.Examples.Systems.Utilities.ComponentsMixingUnit.MixingUnitWithContinuousControl (sim)Simulate → Verify
Modelica_Synchronous_cppModelica_Synchronous.Examples.CascadeControlledDrive.AbsoluteClocks (sim)Simulate → Verify
Modelica_Synchronous_cppModelica_Synchronous.Examples.CascadeControlledDrive.Continuous (sim)Simulate → Verify
Modelica_Synchronous_cppModelica_Synchronous.Examples.CascadeControlledDrive.SubClocked (sim)Simulate → Verify
Modelica_Synchronous_cppModelica_Synchronous.Examples.Elementary.BooleanSignals.AssignClock (sim)Simulate → Verify
Modelica_Synchronous_cppModelica_Synchronous.Examples.Elementary.BooleanSignals.AssignClockVectorized (sim)Simulate → Verify
Modelica_Synchronous_cppModelica_Synchronous.Examples.Elementary.BooleanSignals.BackSample (sim)Simulate → Verify
Modelica_Synchronous_cppModelica_Synchronous.Examples.Elementary.BooleanSignals.Hold (sim)Simulate → Verify
Modelica_Synchronous_cppModelica_Synchronous.Examples.Elementary.BooleanSignals.Sample1 (sim)Simulate → Verify
Modelica_Synchronous_cppModelica_Synchronous.Examples.Elementary.BooleanSignals.Sample2 (sim)Simulate → Verify
Modelica_Synchronous_cppModelica_Synchronous.Examples.Elementary.BooleanSignals.SampleClocked (sim)Simulate → Verify
Modelica_Synchronous_cppModelica_Synchronous.Examples.Elementary.BooleanSignals.SampleVectorizedAndClocked (sim)Simulate → Verify
Modelica_Synchronous_cppModelica_Synchronous.Examples.Elementary.BooleanSignals.ShiftSample (sim)Simulate → Verify
Modelica_Synchronous_cppModelica_Synchronous.Examples.Elementary.BooleanSignals.SubSample (sim)Simulate → Verify
Modelica_Synchronous_cppModelica_Synchronous.Examples.Elementary.BooleanSignals.SuperSample (sim)Simulate → Verify
Modelica_Synchronous_cppModelica_Synchronous.Examples.Elementary.BooleanSignals.TickBasedPulse (sim)Simulate → Verify
Modelica_Synchronous_cppModelica_Synchronous.Examples.Elementary.BooleanSignals.TickBasedStep (sim)Simulate → Verify
Modelica_Synchronous_cppModelica_Synchronous.Examples.Elementary.BooleanSignals.TimeBasedPulse (sim)Simulate → Verify
Modelica_Synchronous_cppModelica_Synchronous.Examples.Elementary.BooleanSignals.TimeBasedStep (sim)Simulate → Verify
Modelica_Synchronous_cppModelica_Synchronous.Examples.Elementary.BooleanSignals.UpSample (sim)Simulate → Verify
Modelica_Synchronous_cppModelica_Synchronous.Examples.Elementary.ClockSignals.ShiftSample (sim)Simulate → Verify
Modelica_Synchronous_cppModelica_Synchronous.Examples.Elementary.ClockSignals.SubSample (sim)Simulate → Verify
Modelica_Synchronous_cppModelica_Synchronous.Examples.Elementary.ClockSignals.SuperSample (sim)Simulate → Verify
Modelica_Synchronous_cppModelica_Synchronous.Examples.Elementary.IntegerSignals.AssignClock (sim)Simulate → Verify
Modelica_Synchronous_cppModelica_Synchronous.Examples.Elementary.IntegerSignals.AssignClockVectorized (sim)Simulate → Verify
Modelica_Synchronous_cppModelica_Synchronous.Examples.Elementary.IntegerSignals.BackSample (sim)Simulate → Verify
Modelica_Synchronous_cppModelica_Synchronous.Examples.Elementary.IntegerSignals.Hold (sim)Simulate → Verify
Modelica_Synchronous_cppModelica_Synchronous.Examples.Elementary.IntegerSignals.Sample1 (sim)Simulate → Verify
Modelica_Synchronous_cppModelica_Synchronous.Examples.Elementary.IntegerSignals.Sample2 (sim)Simulate → Verify
Modelica_Synchronous_cppModelica_Synchronous.Examples.Elementary.IntegerSignals.SampleClocked (sim)Simulate → Verify
Modelica_Synchronous_cppModelica_Synchronous.Examples.Elementary.IntegerSignals.SampleVectorizedAndClocked (sim)Simulate → Verify
Modelica_Synchronous_cppModelica_Synchronous.Examples.Elementary.IntegerSignals.ShiftSample (sim)Simulate → Verify
Modelica_Synchronous_cppModelica_Synchronous.Examples.Elementary.IntegerSignals.SubSample (sim)Simulate → Verify
Modelica_Synchronous_cppModelica_Synchronous.Examples.Elementary.IntegerSignals.SuperSample (sim)Simulate → Verify
Modelica_Synchronous_cppModelica_Synchronous.Examples.Elementary.IntegerSignals.TickBasedStep (sim)Simulate → Verify
Modelica_Synchronous_cppModelica_Synchronous.Examples.Elementary.IntegerSignals.TimeBasedStep (sim)Simulate → Verify
Modelica_Synchronous_cppModelica_Synchronous.Examples.Elementary.IntegerSignals.UpSample (sim)Simulate → Verify
Modelica_Synchronous_cppModelica_Synchronous.Examples.Elementary.RealSignals.AssignClock (sim)Simulate → Verify
Modelica_Synchronous_cppModelica_Synchronous.Examples.Elementary.RealSignals.AssignClockToSquareWaveHold (sim)Simulate → Verify
Modelica_Synchronous_cppModelica_Synchronous.Examples.Elementary.RealSignals.AssignClockToTriggerHold (sim)Simulate → Verify
Modelica_Synchronous_cppModelica_Synchronous.Examples.Elementary.RealSignals.AssignClockVectorized (sim)Simulate → Verify
Modelica_Synchronous_cppModelica_Synchronous.Examples.Elementary.RealSignals.BackSample (sim)Simulate → Verify
Modelica_Synchronous_cppModelica_Synchronous.Examples.Elementary.RealSignals.FractionalDelay (sim)Simulate → Verify
Modelica_Synchronous_cppModelica_Synchronous.Examples.Elementary.RealSignals.Hold (sim)Simulate → Verify
Modelica_Synchronous_cppModelica_Synchronous.Examples.Elementary.RealSignals.HoldWithDAeffects1 (sim)Simulate → Verify
Modelica_Synchronous_cppModelica_Synchronous.Examples.Elementary.RealSignals.HoldWithDAeffects2 (sim)Simulate → Verify
Modelica_Synchronous_cppModelica_Synchronous.Examples.Elementary.RealSignals.Sample1 (sim)Simulate → Verify
Modelica_Synchronous_cppModelica_Synchronous.Examples.Elementary.RealSignals.Sample2 (sim)Simulate → Verify
Modelica_Synchronous_cppModelica_Synchronous.Examples.Elementary.RealSignals.Sample3 (sim)Simulate → Verify
Modelica_Synchronous_cppModelica_Synchronous.Examples.Elementary.RealSignals.SampleClocked (sim)Simulate → Verify
Modelica_Synchronous_cppModelica_Synchronous.Examples.Elementary.RealSignals.SampleVectorizedAndClocked (sim)Simulate → Verify
Modelica_Synchronous_cppModelica_Synchronous.Examples.Elementary.RealSignals.SampleWithADeffects (sim)Simulate → Verify
Modelica_Synchronous_cppModelica_Synchronous.Examples.Elementary.RealSignals.ShiftSample (sim)Simulate → Verify
Modelica_Synchronous_cppModelica_Synchronous.Examples.Elementary.RealSignals.SubSample (sim)Simulate → Verify
Modelica_Synchronous_cppModelica_Synchronous.Examples.Elementary.RealSignals.SuperSample (sim)Simulate → Verify
Modelica_Synchronous_cppModelica_Synchronous.Examples.Elementary.RealSignals.SuperSampleInterpolated (sim)Simulate → Verify
Modelica_Synchronous_cppModelica_Synchronous.Examples.Elementary.RealSignals.UniformNoise (sim)Simulate → Verify
Modelica_Synchronous_cppModelica_Synchronous.Examples.Elementary.RealSignals.UpSample1 (sim)Simulate → Verify
Modelica_Synchronous_cppModelica_Synchronous.Examples.Elementary.RealSignals.UpSample2 (sim)Simulate → Verify
Modelica_Synchronous_cppModelica_Synchronous.Examples.SimpleControlledDrive.ClockedWithDiscreteController (sim)Simulate → Verify
Modelica_Synchronous_cppModelica_Synchronous.Examples.SimpleControlledDrive.ClockedWithDiscreteTextbookController (sim)Simulate → Verify
Modelica_Synchronous_cppModelica_Synchronous.Examples.SimpleControlledDrive.ClockedWithDiscretizedContinuousController (sim)Simulate → Verify
Modelica_Synchronous_cppModelica_Synchronous.Examples.SimpleControlledDrive.ClockedWith_AD_DA_Effects (sim)Simulate → Verify
Modelica_Synchronous_cppModelica_Synchronous.Examples.SimpleControlledDrive.Continuous (sim)Simulate → Verify
Modelica_Synchronous_cppModelica_Synchronous.Examples.SimpleControlledDrive.ExactlyClockedWithDiscreteController (sim)Simulate → Verify
Modelica_Synchronous_cppModelica_Synchronous.Examples.Systems.ControlledMixingUnit (sim)Simulate → Verify
Modelica_Synchronous_cppModelica_Synchronous.Examples.Systems.EngineThrottleControl (sim)Simulate → Verify
Modelica_Synchronous_cppModelica_Synchronous.Examples.Systems.Utilities.ComponentsMixingUnit.MixingUnitWithContinuousControl (sim)Simulate → Verify
PNlibPNlib.Examples.ConTest.Conflict (sim)Simulate → Verify
PNlibPNlib.Examples.ConTest.ConflictLoop (sim)Simulate → Verify
PNlibPNlib.Examples.ConTest.LoopAndArcweight (sim)Simulate → Verify
PNlibPNlib.Examples.ConTest.PCtoTC (sim)Simulate → Verify
PNlibPNlib.Examples.ConTest.SinglePC (sim)Simulate → Verify
PNlibPNlib.Examples.ConTest.SingleTC (sim)Simulate → Verify
PNlibPNlib.Examples.ConTest.Speed (sim)Simulate → Verify
PNlibPNlib.Examples.ConTest.TCtoPC (sim)Simulate → Verify
PNlibPNlib.Examples.ConTest.ZeroArcWeight (sim)Simulate → Verify
PNlibPNlib.Examples.ConTest.ZeroPlace (sim)Simulate → Verify
PNlibPNlib.Examples.DisTest.ConflictBeneBaB (sim)Simulate → Verify
PNlibPNlib.Examples.DisTest.ConflictBeneGreedy (sim)Simulate → Verify
PNlibPNlib.Examples.DisTest.ConflictBeneQuotient (sim)Simulate → Verify
PNlibPNlib.Examples.DisTest.ConflictPrio (sim)Simulate → Verify
PNlibPNlib.Examples.DisTest.ConflictProb (sim)Simulate → Verify
PNlibPNlib.Examples.DisTest.DisLoopAndArcweight (sim)Simulate → Verify
PNlibPNlib.Examples.DisTest.EightConflictProb (sim)Simulate → Verify
PNlibPNlib.Examples.DisTest.FiveTimes (sim)Simulate → Verify
PNlibPNlib.Examples.DisTest.InputConflictBeneBaB (sim)Simulate → Verify
PNlibPNlib.Examples.DisTest.InputConflictBeneGreedy (sim)Simulate → Verify
PNlibPNlib.Examples.DisTest.InputConflictBeneQuotient (sim)Simulate → Verify
PNlibPNlib.Examples.DisTest.InputConflictPrio (sim)Simulate → Verify
PNlibPNlib.Examples.DisTest.InputConflictProb (sim)Simulate → Verify
PNlibPNlib.Examples.DisTest.NoInputConflict (sim)Simulate → Verify
PNlibPNlib.Examples.DisTest.OutputConflictBeneBaB (sim)Simulate → Verify
PNlibPNlib.Examples.DisTest.OutputConflictBeneGreedy (sim)Simulate → Verify
PNlibPNlib.Examples.DisTest.OutputConflictBeneQuotient (sim)Simulate → Verify
PNlibPNlib.Examples.DisTest.OutputConflictPrio (sim)Simulate → Verify
PNlibPNlib.Examples.DisTest.OutputConflictProb (sim)Simulate → Verify
PNlibPNlib.Examples.DisTest.PDtoTD (sim)Simulate → Verify
PNlibPNlib.Examples.DisTest.PDtoTT (sim)Simulate → Verify
PNlibPNlib.Examples.DisTest.PrioTest (sim)Simulate → Verify
PNlibPNlib.Examples.DisTest.SinglePD (sim)Simulate → Verify
PNlibPNlib.Examples.DisTest.SingleTD (sim)Simulate → Verify
PNlibPNlib.Examples.DisTest.SixConflictProb (sim)Simulate → Verify
PNlibPNlib.Examples.DisTest.TDtoPD (sim)Simulate → Verify
PNlibPNlib.Examples.DisTest.TEnoInput (sim)Simulate → Verify
PNlibPNlib.Examples.DisTest.TEtest (sim)Simulate → Verify
PNlibPNlib.Examples.DisTest.TFDinputConflict (sim)Simulate → Verify
PNlibPNlib.Examples.DisTest.TFDoutCap (sim)Simulate → Verify
PNlibPNlib.Examples.DisTest.TFDoutputConflict (sim)Simulate → Verify
PNlibPNlib.Examples.DisTest.TFDtest (sim)Simulate → Verify
PNlibPNlib.Examples.DisTest.TTcircle (sim)Simulate → Verify
PNlibPNlib.Examples.DisTest.TTtoPD (sim)Simulate → Verify
PNlibPNlib.Examples.ExtTest.ArcswithPCtoTC (sim)Simulate → Verify
PNlibPNlib.Examples.ExtTest.DoubleArcwithPCtoTC (sim)Simulate → Verify
PNlibPNlib.Examples.ExtTest.DoubleArcwithPTtoTD (sim)Simulate → Verify
PNlibPNlib.Examples.ExtTest.DoubleArcwithPTtoTD2 (sim)Simulate → Verify
PNlibPNlib.Examples.ExtTest.IATest (sim)Simulate → Verify
PNlibPNlib.Examples.ExtTest.IAwithPCtoTC (sim)Simulate → Verify
PNlibPNlib.Examples.ExtTest.IAwithPDtoTD (sim)Simulate → Verify
PNlibPNlib.Examples.ExtTest.IAwithPDtoTD2 (sim)Simulate → Verify
PNlibPNlib.Examples.ExtTest.TATest (sim)Simulate → Verify
PNlibPNlib.Examples.ExtTest.TAwithPCtoTC (sim)Simulate → Verify
PNlibPNlib.Examples.ExtTest.TAwithPDtoTD (sim)Simulate → Verify
PNlibPNlib.Examples.ExtTest.TAwithPDtoTD2 (sim)Simulate → Verify
PNlibPNlib.Examples.ExtTest.TAwithWeaklyActivation (sim)Simulate → Verify
PNlibPNlib.Examples.ExtTest.TFDStest (sim)Simulate → Verify
PNlibPNlib.Examples.ExtTest.TSTest (sim)Simulate → Verify
PNlibPNlib.Examples.ExtTest.TSdiscrete (sim)Simulate → Verify
PNlibPNlib.Examples.ExtTest.TStriangular (sim)Simulate → Verify
PNlibPNlib.Examples.ExtTest.TSuniform (sim)Simulate → Verify
PNlibPNlib.Examples.HybTest.ConflictPrio (sim)Simulate → Verify
PNlibPNlib.Examples.HybTest.ConflictProb (sim)Simulate → Verify
PNlibPNlib.Examples.HybTest.ConflictType3 (sim)Simulate → Verify
PNlibPNlib.Examples.HybTest.ConflictType4 (sim)Simulate → Verify
PNlibPNlib.Examples.HybTest.EightConflictProb (sim)Simulate → Verify
PNlibPNlib.Examples.HybTest.HybLoopAndArcweight (sim)Simulate → Verify
PNlibPNlib.Examples.HybTest.InputConflictPrio (sim)Simulate → Verify
PNlibPNlib.Examples.HybTest.InputConflictProb (sim)Simulate → Verify
PNlibPNlib.Examples.HybTest.InputConflictType3 (sim)Simulate → Verify
PNlibPNlib.Examples.HybTest.OutputConflictPrio (sim)Simulate → Verify
PNlibPNlib.Examples.HybTest.OutputConflictProb (sim)Simulate → Verify
PNlibPNlib.Examples.HybTest.OutputConflictType3 (sim)Simulate → Verify
PNlibPNlib.Examples.HybTest.PCtoTD (sim)Simulate → Verify
PNlibPNlib.Examples.HybTest.SixConflictProb (sim)Simulate → Verify
PNlibPNlib.Examples.HybTest.TCwithPD (sim)Simulate → Verify
PNlibPNlib.Examples.HybTest.TDtoPC (sim)Simulate → Verify
PNlibPNlib.Examples.Models.BicoloredPlaces.Aquarium (sim)Simulate → Verify