Time Granularity in Behavioural Structured Acyclic Nets

The typical notation for recording the behaviour of an asynchronous system is some form of a directed acyclic graph. The framework of structured occurrence nets can play an important role in the representation of complex evolving system behaviours. In general, structured occurrence nets are sets of related acyclic Petri nets, employing different types of formally defined relations and supporting various types of hierarchy and abstraction, which represent the detail of the concurrency and causality relations between executed events.The aim of this paper is to develop theoretical underpinnings, new algorithms, and implemented prototype software tool for hierarchical and abstraction-based analyses and simulations of timed behaviours of complex evolving systems in the case when different time granularity is used at different levels of abstraction. The discussion is carried out using behavioural structured acyclic nets which are part of the structured occurrence nets framework.