P-graphs for Process Systems Engineering
Ferenc Friedler, Ákos Orosz, Jean Pimentel Losada
Topics & Concepts
Process (computing)Computer scienceProgramming languageEmbedded Systems Design TechniquesPetri Nets in System ModelingFormal Methods in Verification