Publisher
Springer Berlin Heidelberg
Reference41 articles.
1. Lecture Notes in Computer Science;F. Bause,1997
2. Belluomini, W., Myers, C.J.: Efficient Timing Analysis Algorithms for Timed State Space Exploration. In: 3rd International Symposium on Advanced Research in Asynchronous Circuits and Systems, pp. 88–100. IEEE Computer Society Press, Los Alamitos (1997)
3. Lecture Notes in Computer Science;J. Bengtsson,1998
4. Best, E., Koutny, M.: Petri Net Semantics of Priority Systems. Theoretical Computer Science 96(1), 175–215 (1992)
5. Chiola, G., Donatelli, S., Franceschinis, G.: Priorities, Inhibitor Arcs and Concurrency in P/T Nets. In: 12th International Conference on Application and Theory of Petri Nets, Gjern, Denmark, pp. 182–205 (1991)