Bi-directional transition nets

Staines, Anthony

doi:10.1063/1.4981968

Search citation statements

Order By: Relevance

Paper Sections

Select...

Introduction1

Citation Types

Supporting

Mentioning

Contrasting

Year Published

2019

Publication Types

Select...

Article1

Relationship

Self Cite1

Independent0

Authors

Journals

Cited by 1 publication

(1 citation statement)

References 10 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…This is a possible challenge where to find a common basis. Combining other structures and notations could be quite useful for creating other methods or approaches for software and system modelling especially in the near future [13]- [14].…”

Section: Introductionmentioning

confidence: 99%

Ordinary Petri Net Matrices

Staines

2019

ITM Web Conf.

Self Cite

View full text Add to dashboard Cite

This work presents some ideas and theory on representing ordinary Petri nets using matrices and builds on previous work in [11],[12]. The three main types of matrices used for Petri net representation are the input, output and incidence matrices. The motivation for this work is that matrices can provide an alternative way to describe Petri nets from the conventional graphical representation. As is indicated several properties can be inferred, observed and derived from the matrices. Some definitions and examples are used.

show abstract

Section: Introductionmentioning

confidence: 99%