Place/transition nets with debit arcs
Information Processing Letters
Liveness and Home States in Equal Conflict Systems
Proceedings of the 14th International Conference on Application and Theory of Petri Nets
OR Causality: Modelling and Hardware Implementation
Proceedings of the 15th International Conference on Application and Theory of Petri Nets
Performance analysis of concurrent systems with early evaluation
Proceedings of the 2006 IEEE/ACM international conference on Computer-aided design
Choice-free Petri nets: a model for deterministic concurrentsystems with bulk services and arrivals
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
Early evaluation for performance enhancement in phased logic
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
On the Performance Evaluation of Multi-Guarded Marked Graphs with Single-Server Semantics
Discrete Event Dynamic Systems
Automated rare event simulation for stochastic petri nets
QEST'13 Proceedings of the 10th international conference on Quantitative Evaluation of Systems
Hi-index | 0.00 |
In many discrete event dynamic systems, there exist tasks that can start performing before every input data is available. A common device exhibiting such a feature is the multiplexer: its output can be produced as soon as data is available in the selected channel without waiting for data in the other channels. The Petri net formalism can be easily extended to model this behavior by allowing a transition have several guards. Under this extension, a transition can fire as soon as the guard selected for the next firing is satisfied, what usually enhances the system performance with respect to the conventional "mono-guarded" system. This paper explores how some fundamental qualitative properties are preserved or lost when a conventional system is transformed to a system with several guards. The main properties studied are reachability, boundedness, and liveness.