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