Share Email Print

Proceedings Paper

Introduction to marked sampling continuous net system and mixed Petri net system by an instance
Author(s): Tiesheng Xu
Format Member Price Non-Member Price
PDF $17.00 $21.00

Paper Abstract

Through the modeling of robots working concurrently and continuously, in this paper the MSS and the MPNS are introduced in succession, first heuristically and then formally. In order to unify the continuous and discrete behaviors of the system, the leap (flying) axioms of countably infinite cardinal and of continuum (preset GCH) cardinal on a strictly partial ordered (SPO) set of an occurring structure of an MSS are given.

Paper Details

Date Published: 28 August 1995
PDF: 12 pages
Proc. SPIE 2620, International Conference on Intelligent Manufacturing, (28 August 1995); doi: 10.1117/12.217470
Show Author Affiliations
Tiesheng Xu, Beijing Institute of Machine Industry (China)

Published in SPIE Proceedings Vol. 2620:
International Conference on Intelligent Manufacturing
Shuzi Yang; Ji Zhou; Cheng-Gang Li, Editor(s)

© SPIE. Terms of Use
Back to Top
Sign in to read the full article
Create a free SPIE account to get access to
premium articles and original research
Forgot your username?