For the most recent entries see the
Petri Nets Newsletter.
Husberg, N.
-
Aalto, Annikka;
Husberg, Nisse;
Varpaaniemi, Kimmo:
Automatic Formal Model Generation and Analysis of SDL.
2003.
-
Husberg, Nisse;
Tynjälä, Teemu;
Varpaaniemi, Kimmo:
Modelling and Analysing the SDL Description of the ISDN-DSS1 Protocol.
2000.
-
Ojala, L.;
Husberg, N.;
Tynjälä, T.:
Modelling and Analysing a Distributed Dynamic Channel Allocation Algorithm for Mobile Computing Using High-Level Net Methods.
2000.
-
Ojala, L.;
Husberg, N.;
Blom, S.:
Modeling a distributed dynamic channel allocation algorithm for mobile computing using predicate/transition nets.
1999.
-
Husberg, Nisse:
Verifying SDL programs using Petri nets.
1998.
-
Husberg, Nisse:
A Category of Distributed Transition Systems.
1989.
-
Husberg, N.;
Ojala, L.:
Petri Nets in Algebraic Theories: A Category Theory Approach.
1988.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
The author's address is provided by the
database of Petri net researchers.
Back to the Petri Nets Bibliography