Developing software controllers with Petri nets and a logic of actions

Proceedings - IEEE International Conference on Robotics and Automation

Volumn 1, Issue , 2001, Pages 58-63

  Simon, C ^a  

^a University of Koblenz   (Germany)

Author keywords

Controller development; Extended timestamp nets; Logic of actions; Petri nets; Software engineering

Indexed keywords

COMPUTER SIMULATION; PASCAL (PROGRAMMING LANGUAGE); PETRI NETS;

EXTENDED TIMESTAMP (ET) NETS; SOFTWARE CONTROLLERS;

SOFTWARE ENGINEERING;

EID: 0034861224     PISSN: 10504729     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (7)

1. Software engineering
2. System modelling with high-level Petri nets
3. On condition/event systems with discrete state realizations