Results 41 to 50 of about 145,352 (236)
Adjunct hexagonal array token Petri nets and hexagonal picture languages [PDF]
, 2014 Adjunct Hexagonal Array Token Petri Net Structures (AHPN) are re- cently introduced hexagonal picture generating devices which extended the Hexag- onal Array Token Petri Net Structures .
Kamaraj, T. +4 more
core +1 more source
Airport Surface Modelling and Simulation Based on Timed Coloured Petri Net
Promet (Zagreb), 2019 In order to satisfy the requirements of International Civil Aviation Organization (ICAO) for aircraft taxi route planning in Advanced Surface Movement Guidance and Control System (A-SMGCS), an airport surface operation modelling and simulation approach ...
Zhigang Su, Mengqi Qiu
doaj +1 more source
Membrane Systems with Priority, Dissolution, Promoters and Inhibitors and Time Petri Nets [PDF]
, 2019 We continue the investigations on exploring the connection between membrane systems and time Petri nets already commenced in [4] by extending membrane systems with promoters/inhibitors, membrane dissolution and priority for rules compared to the ...
Battyányi, Péter +2 more
core
An Operational Petri Net Semantics for the Join-Calculus
, 2012 We present a concurrent operational Petri net semantics for the join-calculus, a process calculus for specifying concurrent and distributed systems. There often is a gap between system specifications and the actual implementations caused by synchrony ...
Mennicke, Stephan
core +2 more sources
Algorithms, 2016 Despite the recent rapid progress in high throughput measurements of biological data, it is still difficult to gather all of the reaction speed data in biological pathways.
Atsushi Mizuta +2 more
doaj +1 more source
A dynamic petri net model for iterative and interactive distributed multimedia presentation [PDF]
, 2005 Object Composition Petri Nets (OCPN), Priority Petri Nets (P-Net), Dynamic OCPN (DOCPN) and Enhanced P-Nets (EP-Net) have extended the original Petri Net to achieve the modeling of media synchronization and asynchronous user interactions during ...
Guan, SU, Tan, WK
core
A symbolic algorithm for the synthesis of bounded Petri nets [PDF]
, 2008 This paper presents an algorithm for the synthesis of bounded Petri nets from transition systems. A bounded Petri net is always provided in case it exists. Otherwise, the events are split into several transitions to guarantee the synthesis of a Petri net
A. Ehrenfeucht +14 more
core +1 more source
Acta Polytechnica, 2005 One specific model of a digital system in different types of Petri nets is presented. The formal definitions of the basic (black-and-white) Petri net, a place/transition net (P/T net), an arc-constant coloured Petri net (ac-CPN) and a coloured Petri net (
H. Kubátová
doaj
Model Petri Net Produksi Tahu Pada Industri Skala Rumah Tangga
Contemporary Mathematics and Applications (ConMathA), 2023 The process of making tofu includes several steps, namely the process of soaking soybeans, washing soybeans, milling soybeans, boiling or cooking, filtering, settling and adding vinegar. The purpose of this study it was to obtain a Petri Net model of the
Deny Murdianto +2 more
doaj +1 more source
An Advanced Environment for Hybrid Modeling of Biological Systems Based on Modelica
Journal of Integrative Bioinformatics, 2011 Biological systems are often very complex so that an appropriate formalism is needed for modeling their behavior. Hybrid Petri Nets, consisting of time-discrete Petri Net elements as well as continuous ones, have proven to be ideal for this task ...
Proß Sabrina, Bachmann Bernhard
doaj +2 more sources