Object Enhanced Real-Time Petri Net Models in Multi-processing Environments

2020 24th International Conference on System Theory, Control and Computing (ICSTCC) ◽

10.1109/icstcc50638.2020.9259746 ◽

2020 ◽

Author(s):

Octavian Cuibus ◽

Dahlia Al-Janabi ◽

Tiberiu Letia

Keyword(s):

Real Time ◽

Petri Net ◽

Download Full-text

A time petri net-based approach for hard real-time systems scheduling considering dynamic voltage scaling, overheads, precedence and exclusion relations

Proceedings of the 20th annual conference on Integrated circuits and systems design - SBCCI '07 ◽

10.1145/1284480.1284563 ◽

2007 ◽

Author(s):

Eduardo Tavares ◽

Paulo Maciel ◽

Bruno Silva ◽

Meuse Oliveira

Keyword(s):

Real Time ◽

Petri Net ◽

Voltage Scaling ◽

Dynamic Voltage Scaling ◽

Real Time Systems ◽

Time Petri Net ◽

Dynamic Voltage ◽

Hard Real Time ◽

Download Full-text

A Time Petri Net Based Approach for Embedded Hard Real-Time Software Synthesis with Multiple Operational Modes

2005 18th Symposium on Integrated Circuits and Systems Design ◽

10.1109/sbcci.2005.4286839 ◽

2005 ◽

Author(s):

Eduardo Tavares ◽

Paulo Maciel ◽

Arthur Bessa ◽

Raimundo Barreto ◽

Leonardo Barros ◽

...

Keyword(s):

Real Time ◽

Petri Net ◽

Software Synthesis ◽

Time Petri Net ◽

Hard Real Time ◽

Operational Modes

Download Full-text

A time petri net based approach for embedded hard real-time software synthesis with multiple operational modes

2005 18th Symposium on Integrated Circuits and Systems Design ◽

10.1145/1081081.1081110 ◽

2005 ◽

Author(s):

Eduardo Tavares ◽

Paulo Maciel ◽

Arthur Bessa ◽

Raimundo Barreto ◽

Leonardo Barros ◽

...

Keyword(s):

Real Time ◽

Petri Net ◽

Software Synthesis ◽

Time Petri Net ◽

Hard Real Time ◽

Operational Modes

Download Full-text

Mapping UML sequence diagram to time petri net for requirement validation of embedded real-time systems with energy constraints

Proceedings of the 2009 ACM symposium on Applied Computing - SAC '09 ◽

10.1145/1529282.1529364 ◽

2009 ◽

Author(s):

Ermeson Andrade ◽

Paulo Maciel ◽

Gustavo Callou ◽

Bruno Nogueira ◽

Carlos Araújo

Keyword(s):

Real Time ◽

Petri Net ◽

Sequence Diagram ◽

Real Time Systems ◽

Time Petri Net ◽

Energy Constraints ◽

Uml Sequence Diagram ◽

Time Systems ◽

Requirement Validation

Download Full-text

Hardware implementation of real-time Petri-net-based controllers

Control Engineering Practice ◽

10.1016/s0967-0661(98)00076-8 ◽

1998 ◽

Vol 6 (7) ◽

pp. 889-895 ◽

Author(s):

Naehyuck Chang ◽

Wook Hyun Kwon ◽

Jaehyun Park

Keyword(s):

Real Time ◽

Petri Net ◽

Hardware Implementation ◽

Download Full-text

Real-Time Petri Net Based Control System Design for Distributed Autonomous Robotic Manufacturing Systems

Manufacturing System ◽

10.5772/45741 ◽

2012 ◽

Author(s):

Genichi Yasuda

Keyword(s):

Control System ◽

System Design ◽

Real Time ◽

Petri Net ◽

Manufacturing Systems ◽

Control System Design ◽

Download Full-text

A Methodology for Mapping SysML Activity Diagram to Time Petri Net for Requirement Validation of Embedded Real-Time Systems with Energy Constraints

10.1109/icds.2009.19 ◽

2009 ◽

Author(s):

Ermeson Andrade ◽

Paulo Maciel ◽

Gustavo Callou ◽

Bruno Nogueira

Keyword(s):

Real Time ◽

Petri Net ◽

Real Time Systems ◽

Activity Diagram ◽

Time Petri Net ◽

Energy Constraints ◽

Time Systems ◽

Requirement Validation

Download Full-text

Analysis of Real-Time Scheduling Problems by Single Step and Maximal Step Semantics for Time Petri Net Models

2013 III Brazilian Symposium on Computing Systems Engineering ◽

10.1109/sbesc.2013.45 ◽

2013 ◽

Author(s):

Romulo Freitas ◽

Raimundo Barreto ◽

Paulo Maciel

Keyword(s):

Real Time ◽

Petri Net ◽

Single Step ◽

Scheduling Problems ◽

Real Time Scheduling ◽

Time Petri Net ◽

Time Scheduling

Download Full-text

Faults and timing analysis in real-time distributed systems: A fuzzy time Petri-net-based approach

Fuzzy Sets and Systems ◽

10.1016/0165-0114(95)00387-8 ◽

1996 ◽

Vol 83 (2) ◽

pp. 143-168 ◽

Author(s):

Jorge C.A. de Figueiredo ◽

Angelo Perkusich

Keyword(s):

Distributed Systems ◽

Real Time ◽

Petri Net ◽

Timing Analysis ◽

Download Full-text

Mapping SysML State Machine Diagram to Time Petri Net for Analysis and Verification of Embedded Real-Time Systems with Energy Constraints

10.1109/enics.2008.19 ◽

2008 ◽

Author(s):

Ermeson Carneiro ◽

Paulo Maciel ◽

Gustavo Callou ◽

Eduardo Tavares ◽

Bruno Nogueira

Keyword(s):

Real Time ◽

Petri Net ◽

State Machine ◽

Real Time Systems ◽

Time Petri Net ◽

Energy Constraints ◽

Time Systems ◽

State Machine Diagram

Download Full-text