Simulating and analyzing railway interlockings in ExSpect / by T. Basten, R. Bol and M. VoorhoeveAn algebraic semantics for hierarchical P/T nets / by T. Basten and M. VoorhoeveA process-algebraic approach to life-cycle inheritance : inheritance = encapsulation =+ abstraction / T. Basten, W.M.P. van der AalstProcess algebra in PVS / by Twan Basten and Jozef HoomanIn terms of nets : system design with Petri nets and process algebra / Antonius André BastenInheritance of behavior / by Twan Basten and Wil M.P. van der AalstEnhancing partial-order reduction via process clustering / T. Basten and D. Bošnački
author
Time and the order of abstract events in distributed computations / by T. Basten ... [et al.]Process algebra with autonomous actions / by M. Voorhoeve and T. BastenLife-cycle inheritance : a Petri-net-based approach / by W.M.P. van der Aalst and T. BastenDiagnosing workflow processes using Woflan / by H.M.W. Verbeek, T. Basten and W.M.P. van der AalstInheritance of workflows : an approach to tackling problems related to change / by W.M.P. van Aalst and T. BastenPartial-order process algebra (and its relation to Petri nets) / by J.C.M. Baeten and T. BastenDiagnosing workflow processes using Woflan / H.M.W. Verbeek, T. Basten and W.M.P. van der AalstInheritance of workflows : an approach to tackling problems related to change / W.M.P. van der Aalst and T. BastenStatic resource models for code-size efficient embedded processors / by Q. Zhao, B. Mesman, T. BastenDeciding life-cycle inheritance on Petri nets / H.M.W. Verbeek, T. BastenAmbient intelligence: impact on embedded system design / ed. by Twan Basten, Marc Geilen and Harmke De GrootModel-based design of adaptive embedded systems / edited by Twan Basten ... [et al.]