Simulation Modelling Practice and Theory · 2010 · 32 citations · 2 references
EngineeringIndustrial EngineeringManufacturing EngineeringAutomationManufacturing SystemsSchedulingManufacturing Execution SystemsManufacturing SimulationManufacturing Systems ArchitectureModel ExecutionPetri NetsColored Petri NetsManufacturing System ModelsManufacturing System SimulationModel Space ExplorationPetri Net ModelsState Space ExplorationTimed Petri Nets
2
An Analysis of Bitstate Hashing
Gerard J. Holzmann · Formal Methods in System Design · 1998 · 173 citations