| 
			1 | 
		
			
									
						Carl Adam Petri: Ideas, Personality, Impact Rozenberg, Grzegorz. - Cham : Springer International Publishing, 2019, 1st edition 2019
					
							 | 
									
			
								
									  
								
			 | 
		
		
			
			 
			
					    					 
							
			 | 
			2 | 
		
			
									
						Adaption offener Systeme durch die Trennung von Daten- und Kontrollfluss Gierds, Christian. - Berlin : Mathematisch-Naturwissenschaftliche Fakultät, 2015
					
							 | 
									
			
								
									  
								
			 | 
		
		
			
			 
			
					    					 
							
			 | 
			3 | 
		
			
									
						Understanding Petri Nets Reisig, Wolfgang. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2013
					
							 | 
									
			
								
									  
								
			 | 
		
		
			
			 
			
					    					 
							
			 | 
			4 | 
		
			
									
						Modeling in Systems Biology London : Springer London, 2011
					
							 | 
									
			
								
									  
								
			 | 
		
		
			
			 
			
					    					 
							
			 | 
			5 | 
		
			
									
						Entwurf und Verifikation nachrichtenbasierter verteilter Algorithmen durch verteilende Verfeinerung Hohberg, Bodo. - Berlin : Humboldt-Universität zu Berlin, 2007
					
							 | 
									
			
								
									  
								
			 | 
		
		
			
			 
			
					    					 
							
			 | 
			6 | 
		
			
									
						Abstract State Machines for the Classroom Reisig, Wolfgang. - Berlin : Humboldt-Universität zu Berlin, 2006
					
							 | 
									
			
								
									  
								
			 | 
		
		
			
			 
			
					    					 
							
			 | 
			7 | 
		
			
									
						Distributed Abstract State Machines and Their Expressive Power Glausch, Andreas. - Berlin : Humboldt-Universität zu Berlin, 2006
					
							 | 
									
			
								
									  
								
			 | 
		
		
			
			 
			
					    					 
							
			 | 
			8 | 
		
			
									
						An Operating Guideline Approach to the SOA Massuthe, Peter. - Berlin : Humboldt-Universität zu Berlin, 2005
					
							 | 
									
			
								
									  
								
			 | 
		
		
			
			 
			
					    					 
							
			 | 
			9 | 
		
			
									
						Hazard Detection in a GALS Wrapper: a Case study Stahl, Christian. - Berlin : Humboldt-Universität zu Berlin, 2005
					
							 | 
									
			
								
									  
								
			 | 
		
		
			
			 
			
					    					 
							
			 | 
			10 | 
		
			
									
						Verteilte Geschäftsprozesse modellieren und analysieren Reisig, Wolfgang. - Berlin : Humboldt-Universität zu Berlin, 2005
					
							 | 
									
			
								
									  
								
			 |