Sage Journals: Discover world-class research

Retricted access

Research article

First published 1999-11

Generalised Composition Operations for High-level Petri Nets

Eike Best, Alexander Lavrov

Fundamenta Informaticae

Retricted access

Research article

First published 2005-6

Synchronous and Asynchronous Communications in Composable Parameterized High-Level Petri Nets

Raymond Devillers, Hanna Klaudel

Fundamenta Informaticae

Retricted access

Research article

First published 2014-8

Modeling and analysis of failure propagation of mechanical system with multi-operation states using high-level Petri net

Jianing Wu, Shaoze Yan, RX Gao

Proceedings of the Institution of Mechanical Engineers,Part O: Journal of Risk and Reliability

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 2011-12

High-Level Petri Net Model Checking with AlPiNA

Steve Hostettler, Alexis Marechal, Alban Linard [...]

Fundamenta Informaticae

Retricted access

Research article

First published 2002-3

A Class of Composable and Preemptible High-level Petri Nets with an Application to Multi-Tasking Systems

Hanna Klaudel, Franck Pommereau

Fundamenta Informaticae

Retricted access

Research article

First published 2003-5

Petri nets and resource bisimulation

Vladimir A. Bashkin, Irina A. Lomazova

Fundamenta Informaticae

Retricted access

Research article

First published 2024-09-20

Taking Complete Finite Prefixes To High Level,Symbolically *

Nick Würdemann, Thomas Chatain, Stefan Haar [...]

Fundamenta Informaticae

Open access

Research article

First published 2020-8

Deep Petri nets of unsupervised and supervised learning

Yi-Nan Lin, Tsang-Yen Hsieh, Cheng-Ying Yang [...]

Measurement and Control

Retricted access

Research article

First published 2005-3

Behaviour and Instantiation of High-Level Petri Net Processes

Hartmut Ehrig

Fundamenta Informaticae

Search results