All Title Author
Keywords Abstract

Modeling DEDS with Object-oriented High-Level Petri Nets-Objectoriented High-Level Petri Net Models of FMS

Keywords: Petri nets,colored petri nets,object-oriented models,DEDS,FMS

Full-Text   Cite this paper   Add to My Lib


In this paper, a new extension to Colored Petri net models (object-oriented high-level Petri nets) is presented with the following features: describing the individualities of tokens (processes) with partially-ordered sets, making the geometric and algebraic structures and operations independent of the concrete individualities of processes; covering the tokens with predicates, capable of mode ling the logical hierarchies of the set of physical events in one predicate-multisets algebra; capable of modeling complex free-path workshop system in a compact form.


comments powered by Disqus

Contact Us


微信:OALib Journal