Sage Journals: Discover world-class research

Retricted access

Research article

First published 2003-5

Modelling with Hierarchical Object Petri Nets

Berndt Farwer, Kundan Misra

Fundamenta Informaticae

Retricted access

Research article

First published 2011-2

Modelling and analysis of air traffic control systems using hierarchical timed coloured Petri nets

Yi-Sheng Huang, Ta-Hsiang Chung

Transactions of the Institute of Measurement and Control

Retricted access

Research article

First published 2016-2

Toward hierarchical Petri nets model for dependability evaluation of Internet-scale software

Guannan Si, Guang Yang, Guanyuan Zhang

Journal of Computational Methods in Sciences and Engineering

Open access

Research article

First published 2020-1

A hierarchical colored Petri net–based cyberattacks response strategy making approach for critical infrastructures

Qianxiang Zhu, Yuanqing Qin, Yue Zhao [...]

International Journal of Distributed Sensor Networks

Retricted access

Research article

First published 2000-8

Nested Petri Nets — a Formalism for Specification and Verification of Multi-Agent Distributed Systems

Irina A. Lomazova

Fundamenta Informaticae

Free access

Research article

First published 2007-5

Integration of the Cimosa and high-level coloured Petri net modelling techniques with application in the postal process using hierarchical dispatching rules

K S Wong, R M Parkin, J Coy

Proceedings of the Institution of Mechanical Engineers,Part B: Journal of Engineering Manufacture

Retricted access

Research article

First published 2001-9

Nested Petri Nets: Multi-level and Recursive Systems

Irina A. Lomazova

Fundamenta Informaticae

Retricted access

Research article

First published 2015-12

On Generating Hierarchical Workflow Nets and their Extensions and Verifying Hierarchicality

Jacek Sroka, Piotr Chrząstowski-Wachtel, Jan Hidders

Fundamenta Informaticae

Retricted access

Research article

First published 2004-5

A NOVEL HIERARCHICAL METHOD FOR DECOMPOSITION AND DESIGN OF WORKFLOW MODELS

Loucif Zerguini

Journal of Integrated Design and Process Science

Retricted access

Research article

First published 1985-08

Simulation nets,a simulation modeling and validation tool

Aimo A. Törn

SIMULATION

Search results