Searching for "A Compositional Petri Net Semantics for SDL." – 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.

A Compositional Petri Net Semantics for SDL
by Hans Fleischhack, Bernd Grahlmann — 1997 — In Proc. of ATPN'98, LNCS 1420
…A Compositional Petri Net Semantics for SDL Hans Fleischhack Fachbereich Informatik, Universit…
Cited by 10 (5 self) – Add To MetaCart

MOBY - More than a Tool for the Verification of SDL-Specifications
by Peter Amthor, Hans Fleischhack, Josef Tapken, Fachbereich Informatik — 1996
… Petri net semantics to SDL-specifications. A temporal logic is defined which allows the formulation…
Cited by 4 (3 self) – Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB