search result

Cover von Coloured Petri nets

Coloured Petri nets

basic concepts, analysis methods and practical use
Jensen, Kurt
Berlin, Springer
Media group: GESAMTWERK
Volumes loading
Cover von Application and theory of Petri nets 1992
13th international conference : Sheffield, UK, June 22 - 26, 1992 : proceedings
Search for this author
Year: 1992
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 616
Media group: MONOGRAPHIE
Cover von Coloured Petri nets

Coloured Petri nets

basic concepts, analysis methods and practical use
Jensen, Kurt
Berlin, Springer
Media group: GESAMTWERK
Volumes loading
Cover von Coloured Petri Nets
Modelling and Validation of Concurrent Systems
Author: Jensen, Kurt; Kristensen, Lars Michael Search for this author
Year: 2009
Publisher: Berlin, Springer
Media group: MONOGRAPHIE
Cover von Tools and algorithms for the construction and analysis of systems
10th international conference, held as part of the joint European conferences on theory and practice of software, Barcelona, Spain, MArch 29 - April 2, 2004 : proceedings
Search for this author
Year: 2004
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 2988
Media group: MONOGRAPHIE
Cover von Vol. V.; Transactions on Petri nets and other models of concurrency
Search for this author
Year: 2012
Publisher: Berlin, Springer
Volume: Vol. V.
Series: Lecture notes in computer science : Journal Subline; 6900
Media group: MONOGRAPHIE
Cover von Vol. III.; Transactions on Petri Nets and Other Models of Concurrency III
Search for this author
Year: 2009
Publisher: Heidelberg, Springer
Volume: Vol. III.
Series: Lecture notes in computer science; 5800
Media group: MONOGRAPHIE
Cover von Vol. II.; Special issue on concurreny in process-aware information systems
Search for this author
Year: 2009
Publisher: Berlin, Springer
Volume: Vol. II.
Series: Lecture notes in computer science : journal subline; 5460
Media group: MONOGRAPHIE
Cover von Vol. I.; Transactions on Petri nets and other models of concurrency
Search for this author
Year: 2008
Publisher: Berlin, Springer
Volume: Vol. I.
Series: Lecture notes in computer science : journal subline; 5100
Media group: MONOGRAPHIE
Cover von  Vol. VII.; Transactions on Petri nets and other models of concurrency
Search for this author
Year: 2013
Publisher: Berlin, Springer
Volume: Vol. VII.
Series: Lecture notes in computer science : Journal Subline; 7480
Media group: MONOGRAPHIE
OPEN V 11.1.0.0