Real-Time Synchronised Petri Nets

Application and Theory of Petri Nets 2002 - Lecture Notes in Computer Science ◽

10.1007/3-540-48068-4_10 ◽

2002 ◽

pp. 142-162 ◽

Author(s):

Giovanna Di Marzo Serugendo ◽

Dino Mandrioli ◽

Didier Buchs ◽

Nicolas Guelfi

Keyword(s):

Download Full-text

Thermal-aware Real-time Scheduling Using Timed Continuous Petri Nets

ACM Transactions on Embedded Computing Systems ◽

10.1145/3322643 ◽

2019 ◽

Vol 18 (4) ◽

pp. 1-24 ◽

Author(s):

G. Desirena-López ◽

A. Ramírez-Treviño ◽

J. L. Briz ◽

C. R. Vázquez ◽

D. Gómez-Gutiérrez

Keyword(s):

Real Time ◽

Real Time Scheduling ◽

Time Scheduling ◽

Continuous Petri Nets

Download Full-text

Essentially decision free Petri nets for real-time resource allocation

10.1109/robot.1987.1087866 ◽

2005 ◽

Author(s):

B. Krogh ◽

R. Sreenivas

Keyword(s):

Resource Allocation ◽

Real Time ◽

Download Full-text

New Schedulability Analysis for Real-Time Systems based on MDE and Petri Nets Model at Early Design Stages

Proceedings of the 10th International Conference on Software Engineering and Applications ◽

10.5220/0005514003300338 ◽

2015 ◽

Author(s):

Mohamed Naija ◽

Samir Ben Ahmed ◽

Jean-Michel Bruel

Keyword(s):

Real Time ◽

Schedulability Analysis ◽

Real Time Systems ◽

Early Design ◽

Early Design Stages ◽

Download Full-text

Real-time software requirements specification and animation using extended Petri nets: theory and application

Safety Aspects of Computer Control ◽

10.1016/b978-0-7506-1102-2.50009-8 ◽

1993 ◽

pp. 76-87

Author(s):

Sandro Bologna

Keyword(s):

Real Time ◽

Requirements Specification ◽

Software Requirements ◽

Extended Petri Nets ◽

Software Requirements Specification

Download Full-text

A REAL TIME MONITOR, ITS REPRESENTATION BY PETRI NETS AND AN APPLICATION

Real Time Digital Control Application ◽

10.1016/b978-0-08-029980-8.50072-x ◽

1984 ◽

pp. 485-489

Author(s):

A. Maldonado ◽

F. Rivera

Keyword(s):

Download Full-text

Modelling and Verification of Real-Time Software Using Interpreted Petri Nets

IFAC Proceedings Volumes ◽

10.1016/b978-0-08-040504-9.50011-7 ◽

1990 ◽

Vol 23 (4) ◽

pp. 35-40

Author(s):

F. Arendt ◽

B. Klühe

Keyword(s):

Download Full-text

Control of real time petri nets with application to manufacturing

IFAC Proceedings Volumes ◽

10.1016/s1474-6670(17)69337-6 ◽

1991 ◽

Vol 24 (14) ◽

pp. 129-131

Author(s):

Li Yong Hua ◽

Gao Wei Bing

Keyword(s):

Real Time ◽

Time Petri Nets

Download Full-text

Modeling, Relocation, and Real-Time Inventory Control of One-Way Electric Cars Sharing Systems in a Stochastic Petri Nets Framework

IEEE Transactions on Intelligent Transportation Systems ◽

10.1109/tits.2020.2976568 ◽

2020 ◽

pp. 1-16

Author(s):

Taha Benarbia ◽

Kay W. Axhausen ◽

Bilal Farooq

Keyword(s):

Real Time ◽

Inventory Control ◽

Stochastic Petri Nets ◽

Download Full-text

Application of Hierarchical Colored Petri Nets for Real-Time Condition Monitoring of Internal Blowout Prevention (IBOP) in Top Drive Assembly System

2019 IEEE International Systems Conference (SysCon) ◽

10.1109/syscon.2019.8836875 ◽

2019 ◽

Author(s):

Nadia Saad Noori ◽

Tor Inge Waag

Keyword(s):

Real Time ◽

Condition Monitoring ◽

Colored Petri Nets ◽

Assembly System ◽

Download Full-text

Scheduling hard real time systems using high-level Petri nets

Application and Theory of Petri Nets 1992 - Lecture Notes in Computer Science ◽

10.1007/3-540-55676-1_6 ◽

1992 ◽

pp. 93-112 ◽

Author(s):

Giorgio Bruno ◽

Andrea Castella ◽

Gianpaolo Macario ◽

Marco P. Pescarmona

Keyword(s):

Real Time ◽

Real Time Systems ◽

Hard Real Time ◽

Download Full-text