Performance evaluation of systems of cyclic sequential processes with mutual exclusion using Petri nets
From MaRDI portal
Publication:1071516
DOI10.1016/0020-0190(85)90089-4zbMath0586.68052OpenAlexW1988889091MaRDI QIDQ1071516
Publication date: 1985
Published in: Information Processing Letters (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0020-0190(85)90089-4
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Performance evaluation of concurrent systems using Petri nets
- A calculus of communicating systems
- Timing Requirements for Time-Driven Systems Using Augmented Petri Nets
- Process algebra for synchronous communication
- Performance Evaluation of Asynchronous Concurrent Systems Using Petri Nets
- Two-Processor Scheduling with Start-Times and Deadlines