publication venue for
- SONCraft: A Tool for Construction, Simulation, and Analysis of Structured Occurrence Nets 2018
- From Petri Nets with Shared Variables to ITL 2016
- Hasse Diagrams of Combined Traces 2012
- Message from the Conference Chairs 2011
- 2008 8th international conference on application of concurrency to system design proceedings June 23’27, 2008 Xi’an, China 2008
- Modelling Mobility in High-level Petri Nets 2007
- Towards an Algebra of Abstractions for Communicating Processes 2006
- Detecting state coding conflicts in STG unfoldings using SAT 2003
- Implementing communicating processes in the event of interface difference 2001
- Recursive nets in the box algebra 1998