Petri Net Schema

JSON-LD context for pflow Petri net documents. This page describes the vocabulary used by @context: "https://pflow.xyz/schema". Machine clients receive JSON-LD; browsers see this human-readable reference.

Fetch as JSON-LD:

curl -H 'Accept: application/ld+json' https://pflow.xyz/schema
Term@id@type@container
Arrow https://pflow.xyz/schema#Arrow @id
ClassificationNet https://pflow.xyz/schema#ClassificationNet @id
CompositeNet https://pflow.xyz/schema#CompositeNet @id
ComputationNet https://pflow.xyz/schema#ComputationNet @id
DataLink https://pflow.xyz/schema#DataLink @id
EventLink https://pflow.xyz/schema#EventLink @id
GameNet https://pflow.xyz/schema#GameNet @id
GuardLink https://pflow.xyz/schema#GuardLink @id
InvariantClaim https://pflow.xyz/schema#InvariantClaim @id
PetriNet https://pflow.xyz/schema#PetriNet @id
PetriNetSeal https://pflow.xyz/schema#PetriNetSeal @id
PetriRuntime https://pflow.xyz/schema#PetriRuntime @id
Place https://pflow.xyz/schema#Place @id
ResourceNet https://pflow.xyz/schema#ResourceNet @id
Signature https://pflow.xyz/schema#Signature @id
TokenLink https://pflow.xyz/schema#TokenLink @id
Transition https://pflow.xyz/schema#Transition @id
TransitionFireEvent https://pflow.xyz/schema#TransitionFireEvent @id
WorkflowNet https://pflow.xyz/schema#WorkflowNet @id
actor https://pflow.xyz/schema#actor @id
arcType https://pflow.xyz/schema#arcType http://www.w3.org/2001/XMLSchema#string
bound https://pflow.xyz/schema#bound http://www.w3.org/2001/XMLSchema#integer
capacity https://pflow.xyz/schema#capacity http://www.w3.org/2001/XMLSchema#integer @list
claim https://pflow.xyz/schema#claim http://www.w3.org/2001/XMLSchema#string
createdAt https://pflow.xyz/schema#createdAt http://www.w3.org/2001/XMLSchema#dateTime
createdBy https://pflow.xyz/schema#createdBy @id
denomination https://pflow.xyz/schema#denomination http://www.w3.org/2001/XMLSchema#string
description https://pflow.xyz/schema#description http://www.w3.org/2001/XMLSchema#string
fired https://pflow.xyz/schema#fired http://www.w3.org/2001/XMLSchema#string
from https://pflow.xyz/schema#from
function https://pflow.xyz/schema#function http://www.w3.org/2001/XMLSchema#string
impl https://pflow.xyz/schema#impl http://www.w3.org/2001/XMLSchema#string
implHash https://pflow.xyz/schema#implHash http://www.w3.org/2001/XMLSchema#string
inhibitTransition https://pflow.xyz/schema#inhibitTransition http://www.w3.org/2001/XMLSchema#boolean
initial https://pflow.xyz/schema#initial http://www.w3.org/2001/XMLSchema#integer @list
invariants https://pflow.xyz/schema#invariants https://pflow.xyz/schema#InvariantClaim @set
links https://pflow.xyz/schema#links @set
maxTotal https://pflow.xyz/schema#maxTotal http://www.w3.org/2001/XMLSchema#integer
model https://pflow.xyz/schema#model https://pflow.xyz/schema#PetriNet
modelCID https://pflow.xyz/schema#modelCID http://www.w3.org/2001/XMLSchema#string
nextMarking https://pflow.xyz/schema#nextMarking http://www.w3.org/2001/XMLSchema#string
offset https://pflow.xyz/schema#offset http://www.w3.org/2001/XMLSchema#integer
place https://pflow.xyz/schema#place http://www.w3.org/2001/XMLSchema#string
places https://pflow.xyz/schema#places http://www.w3.org/2001/XMLSchema#string @list
prevMarking https://pflow.xyz/schema#prevMarking http://www.w3.org/2001/XMLSchema#string
priority https://pflow.xyz/schema#priority http://www.w3.org/2001/XMLSchema#integer
publicKey https://pflow.xyz/schema#publicKey http://www.w3.org/2001/XMLSchema#string
ref https://pflow.xyz/schema#ref http://www.w3.org/2001/XMLSchema#anyURI
runtime https://pflow.xyz/schema#runtime https://pflow.xyz/schema#PetriRuntime
runtimeHash https://pflow.xyz/schema#runtimeHash http://www.w3.org/2001/XMLSchema#string
schemas https://pflow.xyz/schema#schemas @set
semantics https://pflow.xyz/schema#semantics http://www.w3.org/2001/XMLSchema#string
sig https://pflow.xyz/schema#sig http://www.w3.org/2001/XMLSchema#string
sigType https://pflow.xyz/schema#sigType http://www.w3.org/2001/XMLSchema#string
signature https://pflow.xyz/schema#signature https://pflow.xyz/schema#Signature
signedFields https://pflow.xyz/schema#signedFields http://www.w3.org/2001/XMLSchema#string @list
ticker https://pflow.xyz/schema#ticker http://www.w3.org/2001/XMLSchema#string
timestamp https://pflow.xyz/schema#timestamp http://www.w3.org/2001/XMLSchema#dateTime
to https://pflow.xyz/schema#to
token https://pflow.xyz/schema#token @id
transition https://pflow.xyz/schema#transition http://www.w3.org/2001/XMLSchema#string
weight https://pflow.xyz/schema#weight @list
x https://pflow.xyz/schema#x http://www.w3.org/2001/XMLSchema#integer
y https://pflow.xyz/schema#y http://www.w3.org/2001/XMLSchema#integer