 |
Fakultät für Informatik - Technische Universität MünchenLehrstuhl für Effiziente Algorithmen |
 |
Die bibliographische Datenbank LEABib
Suchen •
Liste der Journale •
Liste der Serien •
Liste der Konferenzen •
Ausgewählte Publikationen 
|
Hilfe 
|
 |
|
| Suche: Citkey="Christensen-Hansen/94" |
|
Coloured Petri nets extended with channels for synchronous communication
Soren Christensen, Niels Damgaard Hansen
Proceedings of the 15th International Conference. Application and Theory of Petri Nets 1994 (Zaragoza, Spain, June 20-24, 1994)
Lecture Notes in Computer Science
815
, 1994, pp. 159-178
| Editors | Robert Valette | |
| Publisher: | Springer-Verlag | |
| Address: | Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest | |
| Keywords: | coloured Petri nets, synchronous communication, channels, modular specifications, re-usable models, invariant analysis | |
|
|
|
|