search result

Cover von Synthesis of Bounded Choice-Free Petri Nets

Synthesis of Bounded Choice-Free Petri Nets

Year: 2015
Media group: LIPIcs
Cover von Synthesis of Live and Bounded Persistent Systems
article : pp. 39-59
Author: Best, Eike; Devillers, Raymond Search for this author
Year: 2015
Publisher: Amsterdam, IOS Press
Series: Fundamenta informaticae; 140. 2015, 1
Media group: ARTICLE
Cover von Characterisation of the State Spaces of Live and Bounded Marked Graph Petri Nets
book chapter
Search for this author
Year: 2014
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 8370 : pp. 161-172
Media group: ARTICLE
Cover von Synthesis of Persistent Systems
book chapter
Search for this author
Year: 2014
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 8489 : pp. 111-129
Media group: ARTICLE
Cover von Synthesis and reengineering of persistent systems; 1
article : pp. 35-60
Search for this author
Year: 2015
Publisher: Berlin, Springer
Acta informatica
Count: 1
Media group: ARTICLE
Cover von State space axioms for T-systems; 3
article : pp. 133-152
Search for this author
Year: 2015
Publisher: Berlin, Springer
Acta informatica
Count: 3
Media group: ARTICLE
Cover von Application and Theory of Petri Nets and Concurrency
36th International Conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, 2015, Proceedings
Search for this author
Year: 2015
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 9115
Media group: MONOGRAPHIE
Cover von Petri net algebra
Author: Best, Eike; Devillers, Raymond; Koutny, Maciej Search for this author
Year: 2001
Publisher: Berlin, Springer
Media group: MONOGRAPHIE
OPEN V 11.1.0.0