Sage Journals: Discover world-class research

Retricted access

Research article

First published 2015-7-29

State operators and state-morphism operators on hyper BCK-algebras

Xiaolong Xin, Bijan Davvaz

Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology

Retricted access

Research article

First published 2016-9

States on hyper MV-algebras

Xiaolong Xin, Pengfei He, Yulong Fu

Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology

Retricted access

Research article

First published 2000-8

Finite Completeness of Categories of Petri Nets

Marek A. Bednarczyk, Andrzej M. Borzyszkowski, Rafał Somla

Fundamenta Informaticae

Retricted access

Research article

First published 2017-2-24

Generalized state operators on BCI-algebras

Xiaolong Xin, Xiaoyun Cheng, Xiaohong Zhang

Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology

Retricted access

Research article

First published 2022

Skeleton Abstraction for Universal Temporal Properties

Sophie Wallner, Karsten Wolf

Fundamenta Informaticae

Retricted access

Research article

First published 2005-10

Towards a Framework for Modelling Systems with Rich Internal Structures of States and Processes

Józef Winkowski

Fundamenta Informaticae

Retricted access

Research article

First published 2007-10

On Preserving Structural and Behavioural Properties by Composing Net Systems on Interfaces

Luca Bernardinello, Elena Monticelli, Lucia Pomello

Fundamenta Informaticae

Retricted access

Research article

First published 2015-12

Two-way Automata and Regular Languages of Overlapping Tiles

Anne Dicky, David Janin

Fundamenta Informaticae

Retricted access

Research article

First published 2004-11

SAFETY PROPERTIES IN PETRI NET MODULES

Julia Padberg

Journal of Integrated Design and Process Science

Retricted access

Research article

First published 1996-7

GRAPH GRAMMARS WITH NEGATIVE APPLICATION CONDITIONS

Annegret Habel, Reiko Heckel, Gabriele Taentzer

Fundamenta Informaticae

Search results