Twan Basten

Available identifiers

Publication	Date of Publication	Type
Modeling and analysis of switching max-plus linear systems with discrete-event feedback	2023-10-04	Paper
An algebraic semantics for hierarchical P/T nets	2022-08-16	Paper
Partial-Order Reduction for Supervisory Controller Synthesis	2022-02-24	Paper
https://portal.mardi4nfdi.de/entity/Q5009705	2021-08-05	Paper
https://portal.mardi4nfdi.de/entity/Q5137346	2020-12-02	Paper
Throughput-Buffering Trade-Off Exploration for Cyclo-Static and Synchronous Dataflow Graphs	2018-06-12	Paper
Buffer Sizing for Rate-Optimal Single-Rate Data-Flow Scheduling Revisited	2017-07-27	Paper
Deciding Life-Cycle Inheritance on Petri Nets	2010-03-31	Paper
https://portal.mardi4nfdi.de/entity/Q3404131	2010-02-05	Paper
https://portal.mardi4nfdi.de/entity/Q5295511	2007-07-30	Paper
https://portal.mardi4nfdi.de/entity/Q2760250	2003-10-20	Paper
https://portal.mardi4nfdi.de/entity/Q4417902	2003-07-30	Paper
https://portal.mardi4nfdi.de/entity/Q4535171	2002-06-13	Paper
Inheritance of workflows: An approach to tackling problems related to change	2002-03-03	Paper
Diagnosing Workflow Processes using Woflan	2002-01-23	Paper
https://portal.mardi4nfdi.de/entity/Q2761735	2002-01-07	Paper
Inheritance of behavior	2001-09-12	Paper
Parsing Partially Ordered Multisets	1998-04-13	Paper
Branching bisimilarity is an equivalence indeed!	1997-02-27	Paper

No records found.

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Twan Basten