Searching for "On Questions of Fairness and Temporal Logic for Conflict- Free Petri Nets." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

Koutny, M., Modelling systems with dynamic priorities, Advances in Petri Nets, pages 251-266, 1992.
by Landweber And Robertson
…. and Rosier, L., On questions of fairness and temporal logic for conflict-free Petri nets, In G. Rozenberg…
Add To MetaCart

Deciding a Class of Path Formuals for Conflict-Free Petri Nets
by Hsu-Chun Yen, Bow-Yaw Wang, Ming-Sheng Yang, E. Mayr, Siam J. Cornput — 1993
…, and L. Rosier, On questions of fairness and temporal logic for conflict-free Petri nets, In G…
Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB