Group-based Haskell and Python programming projects, version control (Git) Software Engineering Team Project: 5-person year-long project building "smartphone" capabilities into a Raspberry-Pi like device (BBC Microbit). Used Agile principles by conducting the project under the Scrum framework. Major Software Project: Solo dissertation project.
The construction method is facilitated by a model description language that enables identical places in different Petri nets to be matched. The new modeling approach is described for an example attack on smart meters, and its efficacy is demonstrated by a proof-of-concept Python program.
● Petri nets were introduced by C.A. Petri in his Ph.D. Dissertation: "Kommunikation mit Automaten." , Institut für Instrumentelle Mathematik, Bonn, 1962. ● They are particularly useful form modeling...
Petri nets  were introduced firs by Carl Adam Petri in the early 1960s as a mathematical tool for modeling distributed systems supporting the notions of concurrency, non determinism, communication and synchronization. There are many varieties of Petri nets from simple net  to more complex nets
PNTooL is a python library for the modular construction of Petri nets transducers (PNTs) through composition operations. Constructed PNTs can be exported in an XML-format which is based on the standard PNML format developed for basic Petri net variants. Moreover, PNTs can be visualised and pictures can be exported in all standard formats.
PIPE2 is an open source, platform independent tool for creating and analysing Petri nets including Generalised Stochastic Petri nets. Petri nets are a popular way for modelling concurrency and synchronisation in distributed systems. To learn more about Petri nets, you can start by reading the 2006/7 MSc. project report available here.
Markov Models (CTMC and DTMC), Hidden Markov Models (HMM), Petri Nets, Stochastic Petri Nets (SPN), Generalized Stochastic Petri Nets (GSPN), Stochastic Reward Nets (SRN) and Stochastic Activity Networks (SAN).
Online-Python is a quick and easy tool that helps you to build, compile, test your python programs. Python is a very popular general-purpose programming language which was created by Guido van...
Petri Nets: a Tool for Design and Management of Manufacturing Systems, by J.-M. Proth, X. Xie, Wiley, 1996 Computer Integrated Laboratory(CIM Lab) page: