Introduction to marked sampling continuous net system and mixed Petri net system by an instance

Tiesheng Xu

doi:10.1117/12.217470

28 August 1995 Introduction to marked-sampling continuous-net system and mixed Petri net systems with an example

Tiesheng Xu

Proceedings Volume 2620, International Conference on Intelligent Manufacturing; (1995) https://doi.org/10.1117/12.217470
Event: International Conference on Intelligent Manufacturing, 1995, Wuhan, China

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.

Citation Download Citation

Tiesheng Xu "Introduction to marked-sampling continuous-net system and mixed Petri net systems with an example", Proc. SPIE 2620, International Conference on Intelligent Manufacturing, (28 August 1995); https://doi.org/10.1117/12.217470

ACCESS THE FULL ARTICLE

INSTITUTIONAL
Select your institution to access the SPIE Digital Library.

SELECT YOUR INSTITUTION

PERSONAL
Sign in with your SPIE account to access your personal subscriptions or to use specific features such as save to my library, sign up for alerts, save searches, etc.

PERSONAL SIGN IN

No SPIE Account? Create one

PURCHASE THIS CONTENT

SUBSCRIBE TO DIGITAL LIBRARY

50 downloads per 1-year subscription

Members: $195

Non-members: $335 ADD TO CART

25 downloads per 1 - year subscription

Members: $145

Non-members: $250 ADD TO CART

PURCHASE SINGLE ARTICLE

Includes PDF, HTML & Video, when available