PetriNets:FundamentalModels,VerificationandApplications
Petrinetisamathematicalrepresentationofanetwork.Thisbookfirstintroducesthebasicmodelsincludingtimeandstochasticextensions,inparticularplace-transitionandhighlevelPetrinets.Theirmodelinganddesigncapabilitiesareillustratedbyasetofrepresentationsofinterestinoperatingandcommunicationsystems
用户评论
