By Topic

Petri nets in the qualitative modelling of systems

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$33 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

3 Author(s)
A. Fanni ; Istituto di Elettrotecnica, Cagliari Univ., Italy ; A. Giua ; Doo Yong Lee

The paper discusses how Petri nets may be used for the qualitative modelling of physical systems. The qualitative state of a system is represented by the marking of the net. The crossing of a landmark value corresponds to the firing of a transition. Energy constraints may be introduced in the model to avoid spurious behaviors during the qualitative simulation. Two “classical” examples are fully discussed: a spring-block system and a bouncing ball system with and without energy dissipation

Published in:

Systems, Man, and Cybernetics, 1994. Humans, Information and Technology., 1994 IEEE International Conference on  (Volume:3 )

Date of Conference:

2-5 Oct 1994