Proceedings of the Korean Institute of Intelligent Systems Conference (한국지능시스템학회:학술대회논문집)

Korean Institute of Intelligent Systems (한국지능시스템학회)
권호 표지

On Necessity-Valued Petri Nets

  • Sandri, S.A. (Instituto Nacional de Pesquisas Espaciais (INPE)) ;
  • Cardoso, J. (Univ. Federal de Santa Catarina (UFSC))
  • Published : 1993.06.01
Download PDF
⟨ Previous Next ⟩

Abstract

We present here two Petri nets formalisms that can deal with uncertainty by the use of necessity-valued logic. The first and basic model, called necessity-valued Petri nets (NPN), can at the same time deal with uncertainty on markings are on transitions. The second model, called necessity-valued Petri nets (TNPN), is an extension of both NPN and timed Petri nets.

Keywords