Robert Lorenz

Johannes Metzger

Lev Sorokin

Proceedings of the International Workshop on Algorithms & Theories for the Analysis of Event Data 2017 Satellite event of the conferences: 38th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2017 and 17th International Conference on Application of Concurrency to System Design ACSD 2017, 2017

2016

Synthesis of bounded Petri Nets from Prime Event Structures with Cutting Context.

[BibT_eX]

[DOI]

Proceedings of the International Workshop on Algorithms & Theories for the Analysis of Event Data 2016 Satellite event of the conferences: 37th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2016 and 16th International Conference on Application of Concurrency to System Design ACSD 2016, 2016

2015

Verification of Scenarios in Petri Nets Using Compact Tokenflows.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2015

Modeling Quantitative Aspects of Concurrent Systems Using Weighted Petri Net Transducers.

[BibT_eX]

[DOI]

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2015

2014

Some algebraic aspects of semantic uncertainty and cognitive biases.

[BibT_eX]

[DOI]

Günther Wirsching

Proceedings of the 5th IEEE Conference on Cognitive Infocommunications, 2014

Constructing Petri Net Transducers with PNTooL.

[BibT_eX]

[DOI]

Markus Huber

Proceedings of the International Workshop on Petri Nets and Software Engineering, 2014

On Weighted Petri Net Transducers.

[BibT_eX]

[DOI]

Markus Huber

Günther Wirsching

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2014

2013

Models from Scenarios.

[BibT_eX]

[DOI]

Trans. Petri Nets Other Model. Concurr., 2013

Towards meaning-oriented language modeling.

[BibT_eX]

[DOI]

Günther Wirsching

Proceedings of the IEEE 4th International Conference on Cognitive Infocommunications, 2013

2012

SYNOPS - Generation of Partial Languages and Synthesis of Petri Nets.

[BibT_eX]

[DOI]

Proceedings of the International Workshop on Petri Nets and Software Engineering, 2012

2011

Semantic Dialogue Modeling.

[BibT_eX]

[DOI]

Proceedings of the Cognitive Behavioural Systems, 2011

2009

Construction of Process Models from Example Runs.

[BibT_eX]

[DOI]

Trans. Petri Nets Other Model. Concurr., 2009

Executability of scenarios in Petri nets.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2009

Unfolding Semantics of Petri Nets Based on Token Flows.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2009

Synthesis of Petri Nets from Term Based Representations of Infinite Partial Languages.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2009

Partial Order Semantics of Types of Nets.

[BibT_eX]

[DOI]

Proceedings of the SOFSEM 2009: Theory and Practice of Computer Science, 2009

Unifying Petri Net Semantics with Token Flows.

[BibT_eX]

[DOI]

Proceedings of the Applications and Theory of Petri Nets, 2009

Variants of the Language Based Synthesis Problem for Petri Nets.

[BibT_eX]

[DOI]

Proceedings of the Ninth International Conference on Application of Concurrency to System Design, 2009

2008

Complete Process Semantics of Petri Nets.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2008

Causal Semantics of Algebraic Petri Nets distinguishing Concurrency and Synchronicity.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2008

Synthesis of Petri Nets from Finite Partial Languages.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2008

Decision Support with Logical and Fuzzy Petri Nets.

[BibT_eX]

[DOI]

Cybern. Syst., 2008

Towards Synthesis of Petri Nets from General Partial Languages.

[BibT_eX]

[DOI]

Proceedings of the 15th German Workshop on Algorithms and Tools for Petri Nets, 2008

Ein Petrinetz-Modell zur Informationsübertragung per Dialog.

[BibT_eX]

[DOI]

Proceedings of the 15th German Workshop on Algorithms and Tools for Petri Nets, 2008

Faster Unfolding of General Petri Nets Based on Token Flows.

[BibT_eX]

[DOI]

Proceedings of the Applications and Theory of Petri Nets, 29th International Conference, 2008

Synthesis of Petri Nets from Scenarios with VipTool.

[BibT_eX]

[DOI]

Proceedings of the Applications and Theory of Petri Nets, 29th International Conference, 2008

Synthesis of Petri nets from infinite partial languages.

[BibT_eX]

[DOI]

Proceedings of the 8th International Conference on Application of Concurrency to System Design (ACSD 2008), 2008

2007

How to synthesize nets from languages: a survey.

[BibT_eX]

[DOI]

Proceedings of the Winter Simulation Conference, 2007

Semantics of petri nets: a comparison.

[BibT_eX]

[DOI]

Fedor Lehocki

Proceedings of the Winter Simulation Conference, 2007

Process Mining Based on Regions of Languages.

[BibT_eX]

[DOI]

Proceedings of the Business Process Management, 5th International Conference, 2007

Theory of Regions for the Synthesis of Inhibitor Nets from Scenarios.

[BibT_eX]

[DOI]

Proceedings of the Petri Nets and Other Models of Concurrency, 2007

Complete Process Semantics for Inhibitor Nets.

[BibT_eX]

[DOI]

Proceedings of the Petri Nets and Other Models of Concurrency, 2007

Testing the executability of scenarios in general inhibitor nets.

[BibT_eX]

[DOI]

Proceedings of the Seventh International Conference on Application of Concurrency to System Design (ACSD 2007), 2007

2006

Towards Synthesis of Petri Nets from Scenarios.

[BibT_eX]

[DOI]

Proceedings of the Petri Nets and Other Models of Concurrency, 2006

Can I Execute My Scenario in Your Net? VipTool Tells You!

[BibT_eX]

[DOI]

Proceedings of the Petri Nets and Other Models of Concurrency, 2006

Synchronous + Concurrent + Sequential = Earlier than + Not later than.

[BibT_eX]

[DOI]

Proceedings of the Sixth International Conference on Application of Concurrency to System Design (ACSD 2006), 2006

2005

Can I Execute My Scenario in Your Net?.

[BibT_eX]

[DOI]

Proceedings of the Applications and Theory of Petri Nets 2005, 2005

2004

A Guide to Modelling and Control with Modules of Signal Nets.

[BibT_eX]

[DOI]

Proceedings of the Integration of Software Specification Techniques for Applications in Engineering, 2004

Synthesis of Controlled Behavior with Modules of Signal Nets.

[BibT_eX]

[DOI]

Christian Neumair

Proceedings of the Applications and Theory of Petri Nets 2004, 2004

2003

Relating axiomatic and operational semantics of place/transition nets: From process terms to partial orders.

[BibT_eX]

[DOI]

Proceedings of the Uniform Approaches to Graphical Process Specification Techniques, 2003

Modelling and Validation with VipTool.

[BibT_eX]

[DOI]

Proceedings of the Business Process Management, International Conference, 2003

On Synchronicity and Concurrency in Petri Nets.

[BibT_eX]

[DOI]

Tomás Singliar

Proceedings of the Applications and Theory of Petri Nets 2003, 2003

Modelling and Control with Modules of Signal Nets.

[BibT_eX]

[DOI]

Christian Neumair

Proceedings of the Lectures on Concurrency and Petri Nets, 2003

2001

Unifying Petri Nets with Restricted Occurrence Rule Using Partial Algebra.

[BibT_eX]

[DOI]

Proceedings of the Uniform Approaches to Graphical Process Specification Techniques, 2001

Petri Nets over Partial Algebra.

[BibT_eX]

[DOI]

Proceedings of the Unifying Petri Nets, Advances in Petri Nets, 2001

2000

Process Semantics of Petri Nets over Partial Algebra.

[BibT_eX]

[DOI]