CPN Tools
CPN Tools is a tool for editing, simulating, and analyzing high-level Petri nets. It supports basic Petri nets plus timed Petri nets and colored Petri nets. It has a simulator and a state space analysis tool is included. CPN Tools is originally developed by the CPN Group at Aarhus University from 2000 to 2010. The main architects behind the tool are Kurt Jensen, Søren Christensen, Lars M. Kristensen, and Michael Westergaard. From the autumn of 2010, CPN Tools is transferred to the AIS group, Eindhoven University of Technology, The Netherlands. CPN Tools comprises two main components, a graphical editor and a backend simulator component. The graphical editor is written in the academic language, BETA, and the simulator backend is written in the Standard ML variant SML/NJ Standard ML of New Jersey (SML/NJ; Standard Meta-Language of New Jersey) is a free and open-source compiler and programming environment for the Standard ML programming language. Aside from its runtime system, ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Colored Petri Net
Coloured Petri nets are a backward compatible extension of the mathematical concept of Petri net A Petri net, also known as a place/transition (PT) net, is one of several mathematical modeling languages for the description of distributed systems. It is a class of discrete event dynamic system. A Petri net is a directed bipartite graph that ...s. Coloured Petri nets preserve useful properties of Petri nets and at the same time extend the initial formalism to allow the distinction between tokens. Coloured Petri nets allow tokens to have a data value attached to them. This attached data value is called the token color. Although the color can be of arbitrarily complex type, places in coloured Petri nets usually contain tokens of one type. This type is called the color set of the place. Definition 1. A ''net'' is a tuple ''N'' = (''P'', ''T'', ''A'', Σ, ''C'', ''N'', ''E'', ''G'', ''I'' ) where: * ''P'' is a set of ''places''. * ''T'' is a set of ''transitions''. * ''A'' is a set ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Petri Net
A Petri net, also known as a place/transition (PT) net, is one of several mathematical modeling languages for the description of distributed systems. It is a class of discrete event dynamic system. A Petri net is a directed bipartite graph that has two types of elements, places and transitions. Place elements are depicted as white circles and transition elements are depicted as rectangles. A place can contain any number of tokens, depicted as black circles. A transition is enabled if all places connected to it as inputs contain at least one token. Some sources state that Petri nets were invented in August 1939 by Carl Adam Petri—at the age of 13—for the purpose of describing chemical processes. Like industry standards such as UML activity diagrams, Business Process Model and Notation, and event-driven process chains, Petri nets offer a graphical notation for stepwise processes that include choice, iteration, and concurrent execution. Unlike these standards, Petri nets hav ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Aarhus University
Aarhus University ( da, Aarhus Universitet, abbreviated AU) is a public research university with its main campus located in Aarhus, Denmark. It is the second largest and second oldest university in Denmark. The university is part of the Coimbra Group, the Guild, and Utrecht Network of European universities and is a member of the European University Association. The university was founded in Aarhus, Denmark, in 1928 and comprises five faculties in Arts, Natural Sciences, Technical Sciences, Health, and Business and Social Sciences and has a total of twenty-seven departments. It is home to over thirty internationally recognised research centres, including fifteen centres of excellence funded by the Danish National Research Foundation. The university has been ranked among the top 100 world's best universities. ''Times Higher Education'' ranks Aarhus University in the top 10 of the most beautiful universities in Europe (2018). The university's alumni include Bjarne Stroustrup, the ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Kurt Jensen (computer Scientist)
Kurt Jensen (born 1950) is a Danish computer science professor at Aarhus University has been writing peer-reviewed papers since 1976, and by 2014 had an ''h''-index of 32. He is best known for his research into coloured Petri net Coloured Petri nets are a backward compatible extension of the mathematical concept of Petri net A Petri net, also known as a place/transition (PT) net, is one of several mathematical modeling languages for the description of distributed systems. ...s. References Living people 1950 births Academic staff of Aarhus University Danish computer scientists {{Compu-bio-stub ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Eindhoven University Of Technology
The Eindhoven University of Technology ( nl, Technische Universiteit Eindhoven), abbr. TU/e, is a public technical university in the Netherlands, located in the city of Eindhoven. In 2020–21, around 14,000 students were enrolled in its BSc and MSc programs and around 1350 students were enrolled in its PhD and PDEng programs. In 2021, the TU/e employed around 3900 people. Eindhoven University of Technology has been ranked in the top 200 universities in three major ranking systems. The 2019 QS World University Rankings place Eindhoven 99th in the world, 34th in Europe, and 3rd in the Netherlands. TU/e is the Dutch member of thEuroTech Universities Alliance a strategic partnership of universities of science & technology in Europe: Technical University of Denmark (DTU), École Polytechnique Fédérale de Lausanne (EPFL), École Polytechnique (L’X), The Technion, Eindhoven University of Technology (TU/e), and Technical University of Munich (TUM). History The Eindhoven Uni ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
BETA (programming Language)
BETA is a pure object-oriented language originating within the "Scandinavian School" in object-orientation where the first object-oriented language Simula was developed.SourceOle Lehrmann Madsen: An overview of BETA Among its notable features, it introduced nested classes, and unified classes with procedures into so called patterns. The project is inactive as of October 2020.https://beta.cs.au.dk/ Features Technical overview From a technical perspective, BETA provides several unique features. Classes and Procedures are unified to one concept, a Pattern. Also, classes are defined as properties/attributes of objects. This means that a class cannot be instantiated without an explicit object context. A consequence of this is that BETA supports nested classes. Classes can be virtually defined, much like virtual methods can be in most object-oriented programming languages. Virtual entities (such as methods and classes) are never overwritten; instead they are redefined or specialized. ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Standard ML
Standard ML (SML) is a general-purpose, modular, functional programming language with compile-time type checking and type inference. It is popular among compiler writers and programming language researchers, as well as in the development of theorem provers. Standard ML is a modern dialect of ML, the language used in the Logic for Computable Functions (LCF) theorem-proving project. It is distinctive among widely used languages in that it has a formal specification, given as typing rules and operational semantics in ''The Definition of Standard ML''. Language Standard ML is a functional programming language with some impure features. Programs written in Standard ML consist of expressions as opposed to statements or commands, although some expressions of type unit are only evaluated for their side-effects. Functions Like all functional languages, a key feature of Standard ML is the function, which is used for abstraction. The factorial function can be expressed as follows: ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
SML/NJ
Standard ML of New Jersey (SML/NJ; Standard Meta-Language of New Jersey) is a free and open-source compiler and programming environment for the Standard ML programming language. Aside from its runtime system, which is written in C, SML/NJ is written in Standard ML. It was originally developed jointly by Bell Laboratories and Princeton University. Its name is a reference both to the American state of New Jersey in which Princeton and Bell Labs are located and to Standard Oil of New Jersey, the famous oil monopoly of the early 20th century. Features SML/NJ extends the SML'97 Basis Library with several additional top-level structures: * System info – the SysInfo structure provides information about the runtime system, such as the operating system kind, type and version and whether or not the machine supports multiprocessing. * Weak pointers – the Weak structure provides support for weak pointers. * Lazy suspensions – the Susp structure implements the suspensions necessary f ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |