Characterization of timed well-formed Petri nets behavior by means of occurrence equations

Abstract

So called “recursive equations” have been introduced by Baccell i e t al. as a convenient w a y of characterizing t h e behavior of stochastic P e t r i n e t models in t e r m s of t rans i t ion f iring ins tances and of creation and d e s h c t i o n dimes f o r t o k e n s in places [ I , 2, 31. S u c h equailions have been used t o prove model… (More)
DOI: 10.1109/PNPM.1995.524323

5 Figures and Tables

Topics

  • Presentations referencing similar topics