Combining Finite Automata, Parallel Programs and SDL Using Petri Nets

Authors:
Bernd Grahlmann
Affiliations:
-
Venue:
TACAS '98 Proceedings of the 4th International Conference on Tools and Algorithms for Construction and Analysis of Systems
Year:
1998

The State of PEP

AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
Modeling and verification of the SDL-specified communication protocols using high-level Petri nets

Programming and Computing Software
Using coloured petri nets to model and verify telecommunications systems

CSR'08 Proceedings of the 3rd international conference on Computer science: theory and applications
Application of modified coloured petri nets to modeling and verification of SDL specified communication protocols

CSR'07 Proceedings of the Second international conference on Computer Science: theory and applications

Hi-index	0.00