MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Predicate/Transition Nets." – sorted by Relevance.

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

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

229 documents found, showing 1 through 10. Next 10 →

ATOM

A Methodology for Constructing Predicate Transition Net Specifications
by Xudong He, John A. N. Lee — 1991
… for Constructing Predicate Transition Net Specifications XUDONG HE Department of Computer Science, North Dakota…
Cited by 6 (0 self) – Add To MetaCart

Methodology Of Dynamical Analysis Of Sdl Programs Using Predicate/transition Nets
by Markus Malmqvist, Markus Malmqvist — 1997
… METHODOLOGY OF DYNAMICAL ANALYSIS OF SDL PROGRAMS USING PREDICATE/TRANSITION NETS Markus Malmqvist Digital…
Cited by 3 (0 self) – Add To MetaCart

Modeling and Verifying Multi-Agent Behaviors Using Predicate Transition Nets
by Dianxiang Xu, Richard A. Volz, Thomas R. Ioerger, John Yen — 2002 — Proc. of the 14th International Conference on Software Engineering and Knowledge Engineering
…Modeling and Verifying Multi-Agent Behaviors Using Predicate/Transition Nets Dianxiang Xu, Richard…
Cited by 3 (1 self) – Add To MetaCart

Dynamical Analysis Of Sdl Programs With Predicate/transition Nets
by Tero Jyrinki — 1997
… DYNAMICAL ANALYSIS OF SDL PROGRAMS WITH PREDICATE/TRANSITION NETS Tero Jyrinki Digital Systems Laboratory…
Cited by 2 (0 self) – Add To MetaCart

An Induction Theorem for Ring Protocols of Processes Described with Predicate/Transition Nets
by Tino Pyssysalo, Tino Pyssysalo — 1996
… FOR RING PROTOCOLS OF PROCESSES DESCRIBED WITH PREDICATE/TRANSITION NETS Tino Pyssysalo Digital Systems…
Cited by 2 (0 self) – Add To MetaCart

Modelling a Distributed Dynamic Channel Allocation Algorithm for Mobile Computing Using Predicate/Transition
by Leo Ojala, Nisse Husberg, Simo Blom — 1999 — In Proc. of 1999 IEEE Int. Conf. on Systems, Man, and Cybernetics
… differences. The model is a Pr/T (Predicate/Transition) net [2] using inhibitor arcs and a general notation…
Cited by 1 (1 self) – Add To MetaCart

Generating Parallel Plans Based on Planning Graph Analysis of Predicate/Transition Nets
by Dianxiang Xu, Richard A. Volz, Thomas R. Ioerger — 2002 — Proceedings of the 2002 International Conference on Artificial Intelligence (IC-AI02), Las Vegas
…Generating Parallel Plans Based on Planning Graph Analysis of Predicate/Transition Nets Dianxiang…
Cited by 1 (1 self) – Add To MetaCart

Modeling and Analyzing Multi-Agent Behaviors Using Predicate/Transition Nets
by Dianxiang Xu, Richard A. Volz, Thomas R. Ioerger, John Yen — 2003 — International Journal of Software Engineering and Knowledge Engineering
…Modeling and Analyzing Multi-Agent Behaviors Using Predicate/Transition Nets Dianxiang Xu, Richard…
Cited by 4 (2 self) – Add To MetaCart

Towards a Complete Design Method for Embedded Systems Using Predicate/Transition-Nets
by B. Kleinjohann, J. Tacken, C. Tahedl — 1996 — In Proc. of the XIII IFIP WG 10.5 Conference on Computer Hardware Description Languages and Their Applictations (CHDL-97
… Extended Predicate/Transition --Nets (Extended Pr/T--Nets). Our work differs from their approach as we use…
Cited by 13 (7 self) – Add To MetaCart

PROD 3.2 - An Advanced Tool for Efficient Reachability Analysis
by Kimmo Varpaaniemi, Keijo Heljanko, Johan Lilius — 1997
…, Digital Systems Laboratory Abstract. prod is a reachability analyzer for Predicate/Transition Nets…
Cited by 12 (6 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

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