1
Verification and Evaluation of Computer and Communication Systems [E-Book] : 14th International Conference, VECoS 2020, Xi'an, China, October 26-27, 2020, Proceedings /
2
Systems dependability assessment : benefits of petri net models [E-Book] /
3
Logic, computation, hierarchies [E-Book] /
Subject (ZB): ...Petri nets Congresses....

Full text 
4
Property-preserving petri net process algebra in software engineering / [E-Book]
5
Biological petri nets / [E-Book]
Subject (ZB): ...Petri nets....

Full text 
6
Petri nets : fundamental models, verification and applications [E-Book] /
7
Verification of systems and circuits using LOTOS, Petri Nets, and CCS / [E-Book]
8
Elements of distributed algorithms : modeling and analysis with Petri nets [E-Book] /
9
Internationales wissenschaftliches Kolloquium / Technische Universität Ilmenau. 42, 1. Informatik und Automatisierung im Zeitalter der Informationsgesellschaft Vortragsreihen Softwaretechnik / Prozessinformatik ... : 22. bis 25. September 1997 /
Book
10
Free Choice Petri Nets [E-Book] /
Subject (ZB): ...Petri nets....

Full text 
11
Parallele Programmierung: eine Einführung.
Book
Subject (ZB): ...Petri net...
12
Petri Netze im Einsatz für Entwurf und Entwicklung von Informationssystemen : Fachtagung : Berlin, 20.09.93-22.09.93.
Book
Subject (ZB): ...Petri net...
13
Formale Beschreibungstechniken für verteilte Systeme /
Book
Subject (ZB): ...Petri net...
14
Petri Netze : eine einführende Übersicht für Studierende der Informatik.
Book
Subject (ZB): ...Petri net...
15
Workshop on Concurrency and Compositionality. 1 : CoCo Workshop. 0003 : Goslar, 05.03.91-08.03.91.
Book
Subject (ZB): ...Petri net...
16
Die strukturierte Analyse Markovscher Modelle.
Book
Subject (ZB): ...Petri net...
17
Semilinearity of the reachability set is decidable for petri nets.
Book
Subject (ZB): ...Petri net...
18
Petri-Netze : Grundlagen und Anwendungen /
Book
Subject (ZB): ...Petri net...
19
Concepts, syntax and semantics of segras: a specification language for distributed systems /
Book
Subject (ZB): ...Petri net...
20
Performance of distributed and parallel systems : proceedings of the IFIP TC 7/WG 7.3 International Seminar on Performance of Distributed and Parallel Systems, Kyoto, Japan, 7-9 December, 1988 /
Book