Search -
Free Choice Petri Nets (Cambridge Tracts in Theoretical Computer Science)
Free Choice Petri Nets - Cambridge Tracts in Theoretical Computer Science Author:Jorg Desel, Javier Esparza Petri nets are a model for the analysis of concurrent systems.