Transactions on Petri Nets and Other Models of Concurrency XI

The 9th Issue of LNCS Transactions on Petri Nets and Other Models of Concurrency (ToPNoC) contains revised and extended versions of a selection of the best papers from the workshops held at the 34th International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2013, Milan, Italy, during 24–28 June 2013), and 13th International Conference on Application of Concurrency to System Design (ACSD 2013, Barcelona, Spain, during 8–10 July 2013). It also contains one paper submitted directly to ToPNoC. I would like to thank the two guest editors of this special issue: Serge Haddad and Alex Yakovlev. Moreover, I would like to thank all authors, reviewers, and the organizers of the Petri Nets 2013 and ACSD 2013 conferences satellite workshops, without whom this issue of ToPNoC would not have been possible.

[1]  Danil Sokolov,et al.  Design of Processors with Reconfigurable Microarchitecture , 2014 .

[2]  Ingo Wegener,et al.  The complexity of Boolean functions , 1987 .

[3]  Ekkart Kindler,et al.  Generating Protocol Software from CPN Models Annotated with Pragmatics , 2013, SBMF.

[4]  Hernán Ponce de León,et al.  Building Bridges Between Sets of Partial Orders , 2015, LATA.

[5]  Marlon Dumas,et al.  Process Mining Reloaded: Event Structures as a Unified Representation of Process Models and Event Logs , 2015, Petri Nets.

[6]  Wil M. P. van der Aalst,et al.  Workflow mining: discovering process models from event logs , 2004, IEEE Transactions on Knowledge and Data Engineering.

[7]  Josep Carmona,et al.  Light Region-based Techniques for Process Discovery , 2011, Fundam. Informaticae.

[8]  Jonathan Billington,et al.  A Coloured Petri Net Approach to Protocol Verification , 2003, Lectures on Concurrency and Petri Nets.

[9]  Dirk Fahland,et al.  Conformance Checking Based on Partially Ordered Event Data , 2014, Business Process Management Workshops.

[10]  Kenneth L. McMillan,et al.  Using Unfoldings to Avoid the State Explosion Problem in the Verification of Asynchronous Circuits , 1992, CAV.

[11]  Robin Bergenthum,et al.  Synthesis of Petri Nets from Finite Partial Languages , 2008, Seventh International Conference on Application of Concurrency to System Design (ACSD 2007).

[12]  J. Ross Quinlan,et al.  Induction of Decision Trees , 1986, Machine Learning.

[13]  Josep Carmona,et al.  Event Log Visualisation with Conditional Partial Order Graphs: from Control Flow to Data , 2015, ATAED@Petri Nets/ACSD.

[14]  Christian Kern,et al.  Computing the reveals relation in occurrence nets , 2013, Theor. Comput. Sci..

[15]  Thomas G. Dietterich.  What is machine learning? , 2020, Archives of Disease in Childhood.

[16]  Dirk Fahland,et al.  Conformance checking in healthcare based on partially ordered event data , 2014, Proceedings of the 2014 IEEE Emerging Technology and Factory Automation (ETFA).

[17]  Corinna Cortes,et al.  Support-Vector Networks , 1995, Machine Learning.

[18]  Paulius Stankaitis,et al.  A Heuristic Algorithm for Deriving Compact Models of Processor Instruction Sets , 2015, 2015 15th International Conference on Application of Concurrency to System Design.

[19]  Andrey Mokhov,et al.  Conditional Partial Order Graphs , 2009 .

[20]  Wil M.P. van der Aalst,et al.  Process mining with the HeuristicsMiner algorithm , 2006 .

[21]  Josep Carmona,et al.  New Region-Based Algorithms for Deriving Bounded Petri Nets , 2010, IEEE Transactions on Computers.

[22]  Alexandre Yakovlev,et al.  Encoding of processor instruction sets with explicit concurrency control , 2011, IET Comput. Digit. Tech..

[23]  Wil M.P. van der Aalst,et al.  Fuzzy Mining - Adaptive Process Simplification Based on Multi-perspective Metrics , 2007, BPM.

[24]  Giovanni De Micheli,et al.  Synthesis and Optimization of Digital Circuits , 1994 .

[25]  Alexandre Yakovlev,et al.  Algebra of Parameterised Graphs , 2012, ACSD.

[26]  Glynn Winskel,et al.  Petri Nets, Event Structures and Domains, Part I , 1981, Theor. Comput. Sci..

[27]  Tiziano Villa,et al.  Synthesis of Finite State Machines: Logic Optimization , 1997 .

[28]  Wil M. P. van der Aalst,et al.  Process diagnostics using trace alignment: Opportunities, issues, and challenges , 2012, Inf. Syst..

[29]  Wil M. P. van der Aalst,et al.  Process Mining - Discovery, Conformance and Enhancement of Business Processes , 2011 .

[30]  Ivan Poliakov,et al.  Workcraft: A Static Data Flow Structure Editing, Visualisation and Analysis Tool , 2007, ICATPN.

[31]  Boudewijn F. van Dongen,et al.  Process Discovery using Integer Linear Programming , 2009, Fundamenta Informaticae.

[32]  Lars Michael Kristensen,et al.  Applications of Coloured Petri Nets for Functional Validation of Protocol Designs , 2013, Trans. Petri Nets Other Model. Concurr..

[33]  Boudewijn F. van Dongen,et al.  A genetic algorithm for discovering process trees , 2012, 2012 IEEE Congress on Evolutionary Computation.

[34]  Ian H. Witten,et al.  The WEKA data mining software: an update , 2009, SKDD.

[35]  Sander J. J. Leemans,et al.  Discovering Block-Structured Process Models from Event Logs - A Constructive Approach , 2013, Petri Nets.

[36]  Alexandre Yakovlev,et al.  Adapting Asynchronous Circuits to Operating Conditions by Logic Parametrisation , 2012, 2012 IEEE 18th International Symposium on Asynchronous Circuits and Systems.

[37]  Song,et al.  Supporting proces mining by showing events at a glance , 2007 .