Ergebnis der Suche in der DIPF Publikationendatenbank

Ihre Abfrage:

(Schlagwörter: PETRI-NETZ )


Treffer pro Seite

 

1-7 von 7
 
Rölke, Heiko:
Modeling with net references and synchronous channels.
In: Moldt, Daniel (Hrsg.): International Workshop on Petri Nets and Software Engineering. PNSE'2009 June 22-23, 2009. A satellite event of Petri Nets' 2009. 30th International Conference on Application and Theory of Petri Nets and O ther Models of Concurrency. June 22-26, 2009 Paris, France Paris : Université Paris (2009) , S. 157-172
Sidorova, Natalia (Hrsg.); Moldt, Daniel (Hrsg.); Rölke, Heiko (Hrsg.):
Petri Nets and distributed systems.
Xian : Univ. (2008) , 166 S.
Farwer, Berndt; Jantzen, Matthias; Kudlek, Manfred; Rölke, Heiko; Zetsche, Georg:
Petri net controlled finite automata.
In: Fundamenta Informaticae, 85 (2008) , S. 111-121
Cabac, Lawrence; Dörges, Till; Rölke, Heiko:
A monitoring toolset for PAOSE
In: Hee, Kees Max van & Rüdiger, Valk (Hrsg.): Applications and theory of Petri nets. 29th international conference, PETRI NETS 2008, Xian, China, June 23 - 27, 2008. Proceedings Berlin [u.a.] : Spinger (2008) , S. 399-408
Köhler, Michael; Rölke, Heiko:
Dynamic Transition Refinement.
In: Electronic Notes in Theoretical Computer Science, 175 (2007) 2 , S. 119-134
Köhler, Michael; Rölke, Heiko:
Web Service Orchestration with Super-Dual Object Nets.
In: Kleijn, Jetty et al. (Eds.): Petri Nets and Other Models of Concurrency - ICATPN 2007 Berlin u.a. : Springer (2007) , S. 263-280
Farwer, Berndt; Kudlek, Manfred; Rölke, Heiko:
Concurrent Turing Machines.
In: Fundamenta Informaticae, 79 (2007) 3-4 , S. 303-317
 

Achtung!
Es werden immer nur die markierten Treffer der aktuellen Seite angezeigt oder exportiert

Markierte Treffer dieser Seite exportieren

Zu exportierende Felder:
 
zu exportierendes Format: