![]() Experience reports describing applications of nets to different kinds of systems and application fields, e.g.:.Process discovery and conformance checking.Verification and model checking using nets.Higher-level net models (coloured nets, timed nets, etc.).Net-based semantical, logical and algebraic calculi.Relationships between Petri nets and other approaches.System design and model-driven development using nets.Analysis and synthesis, structure and behaviour of nets.Modelling of hardware and biological systems.New developments in the theory of concurrency.Educational issues related to concurrency.Causality/partial order theory of concurrency.Verification of infinite-state or parametric systems. ![]() Model checking and verification of distributed systems.
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |