Jörg Desel

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
Regular marked Petri nets	2024-01-05	Paper
Stop-transitions of Petri Nets*	2021-05-20	Paper
Negotiation as concurrency primitive	2019-03-14	Paper
Negotiations and Petri Nets	2017-06-20	Paper
Negotiation Programs	2015-08-27	Paper
Observable liveness of Petri nets	2015-04-16	Paper
On Negotiation as Concurrency Primitive II: Deterministic Cyclic Negotiations	2014-04-16	Paper
Negotiation as concurrency primitive	2013-08-12	Paper
Models from Scenarios	2013-05-31	Paper
Unifying Petri Nets with Restricted Occurrence Rule Using Partial Algebra	2013-05-24	Paper
Aggregating Causal Runs into Workflow Nets	2013-03-13	Paper
Vicinity Respecting Homomorphisms for Abstracting System Requirements	2011-01-08	Paper
Synthesis of Petri Nets from Term Based Representations of Infinite Partial Languages	2010-02-05	Paper
Comparison of Different Algorithms to Synthesize a Petri Net from a Partial Language	2009-12-09	Paper
https://portal.mardi4nfdi.de/entity/Q5190772	2009-07-27	Paper
Unifying Petri Net Semantics with Token Flows	2009-06-30	Paper
Construction of Process Models from Example Runs	2009-04-24	Paper
Executability of scenarios in Petri nets	2009-03-25	Paper
https://portal.mardi4nfdi.de/entity/Q3602749	2009-02-12	Paper
https://portal.mardi4nfdi.de/entity/Q5506396	2009-01-28	Paper
Lectures on Concurrency and Petri Nets	2005-12-23	Paper
Applications and Theory of Petri Nets 2004	2005-12-23	Paper
Applications and Theory of Petri Nets 2005	2005-12-14	Paper
https://portal.mardi4nfdi.de/entity/Q3045249	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4470519	2004-07-01	Paper
https://portal.mardi4nfdi.de/entity/Q4421715	2003-09-01	Paper
https://portal.mardi4nfdi.de/entity/Q4421723	2003-09-01	Paper
https://portal.mardi4nfdi.de/entity/Q2766559	2002-06-13	Paper
https://portal.mardi4nfdi.de/entity/Q4247286	1999-06-16	Paper
https://portal.mardi4nfdi.de/entity/Q4247288	1999-06-16	Paper
https://portal.mardi4nfdi.de/entity/Q4215822	1998-10-29	Paper
Proving nonreachability by modulo-invariants	1997-02-28	Paper
A simplified proof for a self-stabilizing protocol: A Game of Cards	1997-02-28	Paper
Free Choice Petri Nets	1995-11-23	Paper
The synthesis problem of Petri nets	1995-11-19	Paper
Shortest paths in reachability graphs	1995-10-25	Paper
https://portal.mardi4nfdi.de/entity/Q4281514	1994-11-13	Paper
Reachability in cyclic extended free-choice systems	1993-10-25	Paper
https://portal.mardi4nfdi.de/entity/Q4035686	1993-05-18	Paper
https://portal.mardi4nfdi.de/entity/Q4035687	1993-05-18	Paper
Compositional generation of home states in free choice nets	1993-04-01	Paper
https://portal.mardi4nfdi.de/entity/Q4023470	1993-01-23	Paper
Traps characterize home states in free choice systems	1992-09-27	Paper
Partial order behaviour and structure of Petri nets	1990-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Jörg Desel