Performance evaluation of systems of cyclic sequential processes with mutual exclusion using Petri nets

DOI10.1016/0020-0190(85)90089-4zbMath0586.68052OpenAlexW1988889091MaRDI QIDQ1071516

Jan Magott

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

zbMATH Keywords

knapsackfiring timeminimal cycle timemarked graph

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items

Performance evaluation of concurrent systems using conflict-free and persistent Petri nets

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